a better linter for html5.