. And, their attitude toward third-party extensions to Gnome 3 back when it first came out, did nothing to change my mind: it took quite a while, as I recall, before they were willing to make the slightest effort to avoid breaking them as they updated and upgraded the Gnome Shell. It's possible that this attitude has changed, but I don't use Gnome, I don't try to interact with their devs and all I really know is what I observed back when I did.