User documentation: add table of contents.