One of the things I would say Gnome is most well known for is their focus on not wasting developer resources. Sane defaults over settings is their standard, always explained by the fact that having more settings equals more dev work to maintain those settings.
In this spirit I really think Gnome should drop the Extensions app and promote Extension Manager to be the default app for installing and manage extensions.
Neu im Forum:
Fehlermeldung TER aktualisieren in Backend
https://t3forum.net/d/1044-fehlermeldung-ter-aktualisieren-in-backend
@random_guy In the #gnome #extensionmanager search for #clipboardindicator.
OR, directly download it from the website ->
https://extensions.gnome.org/extension/779/clipboard-indicator/
Take control of your extensions effortlessly with Quarto Wizard (pre-release) in VSCode!
Simplify your workflow today. 🚀✨
Extension Manager is the app GNOME Extensions should be. It not only lets you see already-installed extensions and disable/enable them and access their settings like GNOME Extensions does but, get this… (are you sitting down?) it even lets you browse and install new extensions. I mean, I don’t know why you’d ever want to do that but, hey, I guess this is for all the freaks out there… :)
Børge
Wolfgang Wagner
JavAlps
Mickaël CANOUIL
Scripter 
Aral Balkan
[armaan@fosstodon ~]$