I noticed that Mint comes installed with a bunch of MATE packages even if I chose the Cinnamon DE, are those safe to remove or are they necessary for GUI and/or other shit? A quick look with apt-cache depends doesn't show Cinnamon needing anything from mate-desktop, at least not directly.