remove mistakenly-added html files