Cinnamon hat ja offiziell kein "Gnome" im Namen?
In Zukunft wird dann flächendeckend Cinnamon eingesetzt und kein Newbie weiß, dass es sich unter Haube um Gnome3 handelt.
Eine Marke schafft sich ab.