rename html file

rename for github page