[vimsee]

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. :)