Rename files so they use proper html extensions.