Re: microtype for texinfo

[Gavin Smith]

On Tue, Sep 27, 2022 at 06:41:44PM -0600, Karl Berry wrote:
> 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".

Well, the default would be not to have the line at all, and it's not incorrect
not to have it, while it may be incorrect to have it for tt environments, as
you have said.  So removing the line would be a quick way to stop bad output
for tt environments, if there is any.

I did not see microtype listed at

https://ctan.org/pkg/latex-tools or https://ctan.org/pkg/required

Should it be thought of as a core part of LaTeX that is present everywhere
that LaTeX is or is it more of an optional extra?

> 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. 

We don't enable it for \texttt at all at current in texinfo.tex.