Notes CodeMirror CodeMirror Manual Linter Lint Add-On Source HTML Lint Implementation Example Lint Editor Demo (page source very readable)