Remove working .html from the repository.
There's really no point in including these, as they aren't easily
visible from places like GitHub.  If we need a public .html of the
working copy, it should probably be hosted independently.
Retain snapshot .html files in the history directory.