Caso você, como eu, tenha desarrumado muito o painel do Cinnamon, recupere suas configurações orginais com o seguinte comando:
gsettings reset org.cinnamon enabled-applets
A equipe do Cinnamon já desenvolveu uma ferramenta gráfica para fazer as alterações básicas na nova interface. Atualmente é possível, por exemplo, personalizar o painel, a área de trabalho, efeitos das janelas e incluir ou retirar algumas extensões.
