dataset containing RGS spectroscopy pixels true dataset for output BADPIX table true output to badpixset instead of set include non-uplinked CCF bad pixels include found hot pixels include found hot pixels hot pixel threshold pulse height pixnoiselimit in [0:4095] hot column threshold pulse height colnoiselimit in [0:4095] hot pixel sharpness criterion pixsharpness in [0:] hot column sharpness criterion colsharpness in [0:]