Pessoal, bom dia. Alguém teve problema ao experimentar o Cinnamon? Ele não aparece no menu do Lightdm. Aparecem coisas como Xfce, Fluxbox, i3 mas nada de Cinnamon aparecer automaticamente após instalado. Alguma dica? Desde já agradeço.