i guess it would make sense because the main philosophy behind cinnamon is to bring back old gnome2 and despise new gnome. it’s almost like they’re trying to make it better (i believe both cinnamon and gnome are awesome!!) and eventually make cinnamon the default de someday, has there been any sort of rivalry between the devs of both desktop environments?? like, i know it’s not possible but what if a gnome update wouldn’t let you install cinnamon and vice versa??
Why would they? While I sometimes believe that Gnome devs are childish, however I do not think they are angry or like that for making a hard fork and supporting and developing a software they do not care about anymore. If anything, that takes ton of shit against Gnome 3+ away, because people could switch to Cinnamon if they do not like Gnome’s new direction. It would have been much worse for Gnome if there was no fallback option.