Remove a few more previously unnoticed .html files!