Re: [TxMt] bug in latest python highlighter