Re: Adding overrides/child menus with gnome-menus