Eu sou usuário do menu debian: funciona em qualquer window manager ou gerenciador de desktops. Só que ele não é visualmente compatível com os menus do Gnome/Etch. Pois descobri como deixá-lo agradável. Veja o anúncio no gnome-look.org.
É só instalar o pacote e dar o
~$ killall -1 gnome-panelpara recarregar o painel, sem precisar recarregar o X.