updated index.html (manually, copy/pasta from github)