rm html extensions, unneeded now