Add annotations and html-tidy linter