Ocultando Menu do Gnome no Manjaro

Muitas pessoas, incluindo esse que vos fala, têm dificuldades em digitar um texto ou fazer algum trabalho com a barra de menu do Gnome aparecendo continuamente. Ou seja, são improdutivos.
Atualmente, o Gnome não tem tantas opções de personalização como antes, apesar de ainda ter o Tweek Tools. O Gnome passou a trabalhar com extensões. E vamos usar uma delas para tal finalidade.

A maneira mais fácil é baixar a extensão pelo site do Gnome Shell. Mas, e quando isso não é possível? No Ajustes do Manjaro essa opção não vem habilitada e às vezes você não consegue instalar por conta de alguns erros.

Vou mostrar como instalar pelo terminal.

Abra o terminal e digite :

cd ~/.local/share/gnome-shell/extensions/

É possível aparecer o erro Arquivo ou diretório Inexistente como na imagem abaixo:
Para resolver, é só criar o diretório inexiste, no caso "extensions". Clique nas preferências do gerenciador de arquivos e coloque pra exibir itens ocultos. Ou, dê um Ctrl+h para exibir os arquivos ocultos e a mesma ação para ocultá-los novamente.
Vá até onde falta o diretório de acordo com o log do terminal, /.local/share/gnome-shell/extensions/, na pasta "Gnome Shell" crie uma e dê o nome "extensions". Então, é só voltar ao terminal e digitar o comando novamente.
Agora, vamos os demais passos:

git clone https://github.com/mlutfy/hidetopbar.git hidetopbar@mathieu.bidon.ca
cd hidetopbar@mathieu.bidon.ca
make schemas
gnome-shell-extension-tool -e hidetopbar@mathieu.bidon.ca
gnome-shell --replace &
ATENÇÃO! Esse último comando vai reiniciar o Gnome, se estiver fazendo algum trabalho, salve. E dê reboot no sistema também.

Pronto!

Após reiniciar a extensão, já aparecerá no "Ajustes" e também as opções de configuração para ela. Inclusive desativá-la.

Veja como ficou:
Quando você minimiza ou quando reduz o tamanho da janela, a barra aparece novamente, mas você pode desativar isso também. Fica a seu critério.