Delete HTML.html~