rename main HTML file