main.html to index.html (for gh-pages)