[NTG-context] Underscore catcode in MkII (was Re: One-off theorem titles)