Update htmllint.js