Ihr kennt das? Erweiterungen in der GNOME-Shell. Kein direkter Zugriff. Alle De-/Installationen von Erweiterungen über die lokale Verwaltungsseite. Nervig!
Dies gehört nun dank der GNOME-Shell Extension List der Vergangenheit an. Wie der Name schon vermuten lässt, zeigt diese Erweiterungen in einem eigenen Reiter (siehe Bild) eine Liste der aktuell installierten GNOME-Shell Erweiterungen an. Viel Spaß!

gute Idee, aber noch ziemlich hässlich umgesetzt