Is FireFox sneller onder Cinnamon dan Gnome zou een mooie vergelijking zijn want dat doet er wel toe in het dagelijks gebruik.
Inderdaad ook belangrijk.
Gnome en met name Gnome extensies worden veelal door derden ontwikkelt.
Bij sommigen is het enthousiasme zo groot dat het leidt tot overdadige mogelijkheden. Daardoor wordt het minder overzichtelijk en krijgt het rafelige kantjes, wat zich uit door ongewenste bijwerkingen.
In een enkel geval heeft het zelfs geleid tot een distributiecrash.
Bij Cinnamon is de infrastructuur aanzienlijk compacter en lijkt het aandeel van derden minder aanwezig te zijn.
Dat maakt het in mijn beleving stabieler met nagenoeg hetzelfde comfort als Gnome.