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??