penguin dev

**Describe the question** I'm trying to download the Cinnamon desktop environment for my Ubuntu-based distro. After installing Cinnamon, and changing it to the default DE, it still uses GNOME in...