@TerminalAutism @charliebrownau @coin @furgar @udon Also, Cinnamon is kind of GNOME, as it started out as Gnome 3 with plugins, because nobody liked Gnome 3 back in 2011 except for Fedora, and Linux Mint's answer was to use Gnome 3 anyway, but add lots of bandaid on it to make it feel like what their riced Gnome 2 used to be.
But then they realized that Gnome kept breaking extensions with every new release, so they went like "fine, I guess I'll have to fork it and turn it into a DE of its own then...".