Re: [TxMt] feature request/howto: use different color for known TeX commands