yes, but recently the gnome devs are effectively handing them pitchforks in the hopes they will go away. The Gnome-DE has made some brutal horrible design deci

yes, but recently the gnome devs are effectively handing them pitchforks in the hopes they will go away. The Gnome-DE has made some brutal horrible design decisions _IMO_ in the last few years (more than just the horrible pastel colour scheme). That's not to mention the Gnome-foundation who seem to have split focus as to what their primary goals should be.