Re: microtype for texinfo

[Karl Berry]

kb> Regarding typewriter: I reiterate the need to turn it off for display
kb> environments. 

On second thought, for the LaTeX backend, I can see how it would be
better to simply take the default, that is, \usepackage{microtype}, and
let it be as it is. Going along with "make a natural LaTeX document".

I do still think it would be better for texinfo.tex to turn off \texttt
microtype for displayed typewriter environments, or not enable it at all
for \texttt. 

FWIW ... -k