removed obsolete html files.