Mask inspection (e.g., semiconductor photomask)