https://extensions.gnome.org/
ist irgendwie kaputt.
Ich kann seit dem Gestrigen Update auch mit
Erweiterungen nicht mehr die clipboard Manager enablen.
Schon auch xorg, probiert.
Sehr ärgerlich, weil ich etliche Einträge gepinned habe.
Ich vermute, ich muss warten, bis ein Entwicker sich erbarmt..
