Rename to index.html for the github pages