Support importing MenSelmapMark/MenSelchrMark from .tex0 files