I assume this is for GNOME. When speaking of Fedora Workstation or Fedora as a whole, then GNOME is the implied desktop environment. Any other desktop environ

I assume this is for GNOME. When speaking of Fedora Workstation or Fedora as a whole, then GNOME is the implied desktop environment. Any other desktop environment is delivered via what they call "spin". I guess since you are using the Cinnamon spin, you probably already knew that, though. :)