Ich habe mich gerade ein wenig geärgert, dass ich die installierten Erweiterungen nicht mehr deinstallieren konnte, bis ich herausfand, dass fmueller seine Gnome Extentions nicht ins Verzeichnis „~ / .local / share / gnome-shell / extensions“ installiert, wie es sein sollte, sondern systemweit nach „/ usr / share / gnome-shell / extensions /“. Dadurch kann man sie nicht auf den vorgesehenen Weg deinstallieren, sondern man muss sie manuell entfernen.
Für mich ein Grund auf Erweiterungne von https://extensions.gnome.org/accounts/profile/fmuellner zu verzichten.