Currently there is no easy way to navigate from one section of the documentation to another, nor to know in which context it is. More interconnection is necessary in two possible ways:

• Add more references inside the text to other sections, using their full titles. A new doc-hlink tag could be used which automatically filled in the linked section's title for on-screen docs and the page number for printed docs.
• Automatically add the usual "Previous", "Next", "Up" links to all documentation pages.

For both tasks it might be desirable to have the tree with the structure of the available documentation in memory. This would also automate the creation of the help menu.