Deleting old HTML files.

In the title.