Merged with vermiculus/smcm-tex.