[NTG-context] Re: # verbatim typesetting