Repair mangled copy of HTML file