A few touch-ups to the documentation index page