Adding a table of contents to the user doc