-&gt; `nav_panel_menu.py` (split of `menu.py` into main menu (this module) handling and page tree panel handling (`nav_panel_menu.py`)).