run tidy-html5 on sources to clean them up a little