Lint documents marked with HTML5 in addition to HTML