This document is shown to users before it is replaced by the tree menu. A link to 'menu.html' is useful for those who do not have JavaScript enabled. Example:

No JavaScript?