Removing HTML files which were added in an accident when updating documentation