Let ghc do the HTML5 validation