Added a table of contents (more-or-less manually, with a macro).