rename the home page html to adjust the Github Pages.