`\tracingcharsubdef': Substitution diagnostics
..............................................
To help diagnose problems with `\charsubdef', MLTeX provides a new
primitive parameter, `\tracingcharsubdef'. If positive, every use of
`\charsubdef' will be reported. This can help track down when a
character is redefined.
In addition, if the TeX parameter `\tracinglostchars' is 100 or more,
the character substitutions actually performed at `\shipout'-time will
be recorded.