Some mins ago Helen commented that was noticing some slowdown in docs.moodle.org, so I looked to it a bit and detected that there are four 404 requests (to moodle.org - http://moodle.org/theme/moodle2/sm/xxx) that are not being served anymore). And it causes 2-3 secs delay to complete page loading.
Looking @ moodle.org it seems that we are not using smartmenus (js) anymore to render the Moodle menu, but 100 CSS solution instead. Nice.
Also, it seems that the tracker is using an slightly different version, because it shows some arrows in the menus not present in moodle.org
The idea is to modify our MoodleDocs skin to use the same CSS-only menu and take rid of the old smartmenu implementation.