I wonder if there are tools for removing (or repatterning) these as post-processing. In fact, you’d think single pixel defects might get washed out in conversion to a lossee image format.