index changes

This commit contains just changes to index.html. I'm sifting through the
rest of the changes and will make a separate commit for those. This will
make it easier to cherry-pick if desired.