> 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