This page is a screen shot showing the operation that removes the hot pixels. With the original
image selected, open the Transformation -> Composite dialog, and put the (aggressive) hot pixel
mask into the white square to the right of the Amount slider. Put the twice median blurred version
of the original in as the overlay. With other settings at their default positions, we are "OK".

Whether you use the basic hot pixel mask, or the more aggressive one (which was step-feathered by +1)
depends on the image. For me, a few of the strongest hot pixels show up even at
normal exposure times, but are much weaker than they are for this image. In those cases,
the normal mask is sufficient. But in longer exposures such as this one, the brightest
hot pixels show faint halos around them, and to completely remove them, I would use
the more aggressive mask. The tradeoff is that I am altering more of the original image,
adding little blurry spots where there were originally hot pixels.

The final image is shown on the next page.