99cbe5d011
Some people seem to find it easier to look at the sources than read the wiki, so mention HTML Tidy for HTML5 here, too. :)