Mask quality is poor at high (4K) resolutions

Masks look low-quality when the export resolution is high, such as 4K. It is not yet clear whether the import resolution or the export resolution triggers it.