Web-IDE does not lint html files
Summary
The Web-IDE does (error-)linting for a lot of files (eg. css, scss, js, ts..) very nicely, but it does not lint html files at all.
Steps to reproduce
Open html file in Web-IDE, enter broken html, see that it does not get linted.
What is the current bug behavior?
Html files do not get linted at all