Let ghc check the HTML5 validation