Presently on docs.moodle.org the JS for the menu is loaded at the end of the page causing noticeable visual jump sometimes (particularly if you haven't cached the JS)
Mediawiki doesn't appear to include any hooks to include JS in the head any more (all in the foot a bit like us) so it appears now is the time to uprgade the menu.

Other places we have this menu for reference:

• moodle.org : Moodle.org uses the custom menu which is primarily JS powered (YUI node-menunav) and has CSS to support it when JS is disabled and to remove any visual jump.
• tracker.moodle.org : Uses the CSS version of the custom menu from moodle.org, no JS required at all, but only one language so no meaty upgrade required to get it there.
• planet.moodle.org : Uses the same old skool menu as docs.moodle.org, JS powered with no supporting CSS so visual jump. This could also benefit from our conversion.

The upgrade would be to upgrade the menu structure to one fully supported by CSS (like tracker) and would have to involved converting all of the language menu's as well.
Certainly not a horribly mammoth task. Should be able to get through it in a day easily.

Cheers
Sam