It is this last point which is the pivotal one here because that's the level at which you're arguing. The argument of the OP is that
In this light the argument seems ridiculous. Non-programmer users install GNOME extensions (from the website https://extensions.gnome.org/ or through their distro), the same as they do in Firefox (addons.mozilla.org)
(The second part that was not quoted is a fair (assuming completely true) argument that the tooling sucks but not that it's not configurable via the aforementioned methods.)
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds