Hi, gnome recommands menu-xdg, which in turn recommands menu, so in the default configuration we get both with gnome. I also have the duplication problem, but I don't remember having activated anything in the past. Now my configuration is years old, so I can't remember everything... So in short, how do we disable it ? Thanks, -- Rémi