Updated repo index, removed obsolete html files.