Progress in sTeX -> MMT conversion.