Use HTML5 tidy