Simplify top-level table of contents.

Also, link directly to citing information from index.html.