NTI's fork of plasTeX,