Delete javascript.html.dump