Rename HTML5.html to index.html