Add htmlproof linter, misc updates