Update index.html

Changing renamed repos. Feel free to punt the PR if we rename back. ;)