Update index.html for docs

A bit of cleanup.