Delete dot.encodeHTML.js