Não o tinha feito, mas a sugestão foi seguida. Não resolveu.
Como não sei concretamente onde estão as definições do gnome e menus, a forma que aranjei foi mudar os nomes de tudo na home com nomes tais como .gnome* , .gt*
Outras coisa que já tinha feito:
Criar um utilizador novo e entrar com esse. Os menus não aparecem, o que indicia que o problema não é do meu home/user
Como disse antes, descobri que para ter os menus OK, tinha de instalar o ubuntustudio-menu (pacote que não faz parte da instalação por omissão). Para fazer as experiências anteriores, removi esse pacote e como esperado, os menus desapareceram.
Voltei a instalar o ubuntustudio-menu e os menus não aparecem mais...
Isto está a dar luta...