rename main file for github pages convenience