Name-change of main html file