OK, world, configurable menubars are going in. I give up.
And yes, as I said earlier, the contents of the previous Documents and
Manuals menus are going to be in a document accessible from the home
page when I get a free minute to sit back and actually write some
HTML.