Issue #2227259 by roderik: Fix reference to obsolete menu function in docs of MenuTree