linted HTML