Re: [TxMt] Bugs in LaTeX highlighting