changed html page filename for github pages