Bei mir werden im "Optimierungswerkzeug" Erweiterungen angezeigt, die sich nicht entfernen lassen. Jetzt hatte ich gelesen, man solle den Ordner .local/share/gnome-shell komplett entleeren. Ist das richtig? Kann da was passieren, worüber ich mich später ärgere. Gib es anders Wege ein Löschen zu erzwingen?
Gruß Stefan