This hyeprtext item is intended to be used at most once per page, at the end. When converted by info, it produces the Menu at the end of the page.
i1 : DIV { PARA "Hi there.",
MENU { "some topics", TO "topic a", TO "topic b", "more topics", TO "topic c" } }
o1 = Hi there.
Menu
----
some topics
* "topic a"
* "topic b"
more topics
* "topic c"
i2 : info oo
o2 = Hi there.
* Menu:
some topics
* topic a::
* topic b::
more topics
* topic c::