[opencl]

Gnome extensions are weird because the UX around them very much feels like an attempt to actively discourage their use.

-using the website to install extensions requires both a browser extension and installing chrome-gnome-shell, not installed by default by most distros

-UI to configure extensions is in Tweak Tool, again not installed by default in most distros and full of the things GNOME people don't really want you to touch but will begrudgingly allow

-the second most popular extension is an improved UI for managing extensions

-the API is poorly documented and new releases always break tons of extensions

[digi_owl]

Extensions are a fig leaf towards power users in the hopes that they will be distracted long enough that they forget to complain between releases.