Rename index.html to github-repositories.html