I deliberately left this out because the page-change events already handle menu juggling.