Although not listed in http://tidy.sourceforge.net/#docs

The W3C's produced a fork that claims to tidy up HTML5 - https://github.com/w3c/tidy-html5

Neither htmLawed or htmlpurifier have built in support for HTML5 just yet, so this might be a big win for the htmltidy module.