Rename explore.html to index, so that we can host on github pages.