Esconder menu 'Atividades' no Cinnamon

O Cinnamon, um Fork do GNOME Shell feito pelos desenvolvedores do Linux Mint, escondeu a barra superior contida originalmente no GNOME Shell, que contém o menu 'Atividades'.

Porém este menu continua ativo, e por causa do novo MintMenu incluído, ficou sem muitas utilidades, sendo melhor escondê-lo.

Para escondê-lo, abra um terminal e digite:

$ gsettings set org.cinnamon overview-corner-visible false
$ gsettings set org.cinnamon overview-corner-hover false

E, caso deseje reativá-lo:

$ gsettings set org.cinnamon overview-corner-visible true
$ gsettings set org.cinnamon overview-corner-hover true