Renaming files for github.io