Renamed some HTML-files.