Deleted obsolete HTML file.