> It would be easy to add a switch to texinfo.tex that would switch
> on/off the old behaviour. It would be used like "@set
> txicodevarttsl" (probably with a better name).
OK.
> It wouldn't do anything for any other output formats, so there shouldn't
> need to be any changes to texi2any, or any new commands to be added.
Mhmm. I must admit that I haven't checked how HTML output was before
and is now, so I can't comment on this conclusion.
> My preference for this switch to be limited to texinfo.tex, as we
> shouldn't force absolute consistency across all output formats.
Well, I think that the 'typewriter metaness' is important in HTML
output, too...
Werner
