Restore htmllint.js