Tidy the document with <https://github.com/w3c/tidy-html5>