Renamed html files (but not yet corresponding snippets).