der den Müll von einer vernünftigen Extension trennen kann. 😕
Das ist immer das Problem bei solchen Erweiterungen.
scheinen bei mir nicht zu funktionieren
Jetzt wo Gnome der Standard ist, sollten sich im Subforum "Gnome" eigentlich mehr Leute rumtreiben. Zumindest vom Ansatz sehen diese Erweiterungen ja -möglicherweise- hilfreich aus.
Laß dir da eine Empfehlung aus der Praxis geben.