Isso ocorre porque ambientes de desktop como o Cinnamon tendem a ser uma compilação de muitos programas diferentes, como gerenciadores de arquivos, emuladores de terminal, navegadores da Web, etc.
Depois de usar sudo apt-get remove cinnamon
, você também precisa usar
sudo apt-get autoremove
Para remover todos os pacotes que não são mais necessários.