Hi Geoff
Juan already have the documentation of this process, and should release it soon (I hope so...).
In the meanwhile: This process uses a hot/cold/bad pixel map that you created by other means (for example, simple binarization of a master dark frame). The idea is that it uses only information from neighbouring pixels to replace the bad pixel. You select the neighbourhood shape, but the size is automatically calculated, depending on the number of bad pixels surrounding the current pixel to fix.