changes the name of the html file so the git pages work