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
