Ok, resolvi (muito facilmente no final!), seguindo o link :
- Clique com o botão direito do mouse no menu
- No menu pop-up, clique com o botão esquerdo em configure ...
- Vá até a caixa Menu principal
- Clique dentro do atalho "Alt", no atalho de teclado da opção para abrir e fechar o menu
- Pressione a tecla Backspace (para excluir o atalho atual).
Isso altera o overlayKey
globalmente, fazendo com que os atalhos, por exemplo, em nautilus
, também funcionem novamente.