Delete superfluous HTML file.