I’ve made some changes to the menu structure to try and simplify it. The changes are largely cosmetic, but some of the menu items now have submenus – shown by the ‘∨‘ character after a menu item.