Rename mario.html to index.html