rename html file to be compatible with github.