deleted html files we don't actually use