5. Don't tidy HTML files at all (suggested as an option by Benedict
Reuschling). The unprocessed HTML is ugly, but few people are going
to look at it directly. Files that haven't been through tidy are a
little larger, about 4% in the case of the Porter's Handbook.
I also think tidy should be removed. As hrs wrote, new standards should
be evaluated and probably they are much better. (I think they are.) If
there are some nits, then we should process it with a custom script or
something, instead of this crapware.