You can change the file name for a page in an HTML theme from TemplateToaster.TemplateToaster -> Pages -> Home -> Right Click -> Edit -> File Name -> change the default file name and save.