Re: Microtype and texinfo.tex performance

[Werner LEMBERG]

> Microtype output looks great but having faster processing runs will
> really make a difference for users too, helping them to work on
> their manuals more.  I think we should turn microtype off by
> default.

I disagree.  In most cases, the speed difference is not really
important, I believe.  And for those people who really want ultimate
speed it is easy to switch off microtype.

Another thing is that microtype changes the layout a lot.  Especially
for technical documentation it is sometimes necessary to apply manual
fixes, avoiding overfull or underfull lines because, say, of long,
unbreakable keywords.  If you want to do such adjustments, running
with microtype off is not useful.


   Werner