Installing 'menu' is just a workaround. We can't have 'menu' in main, because it
gives the Debian menu, which we don't want to have. The *real* fixing is
two-fold: 1) Fixing gamin not to choke on broken symlinks (which as I understand
it has a proposed fix upstream) and the menu/menu-xdg packaging/system to work
differently.
Installing 'menu' is just a workaround. We can't have 'menu' in main, because it
gives the Debian menu, which we don't want to have. The *real* fixing is
two-fold: 1) Fixing gamin not to choke on broken symlinks (which as I understand
it has a proposed fix upstream) and the menu/menu-xdg packaging/system to work
differently.