rename example.html to index.html for github pages