index.html for github pages
remove extraneous html file, modify title