Renaming pre-Typescript html pages.