Jaja, immer schön alles in die Extensions schieben. Und mit dem Wechsel auf gtk4 geht dann wieder nix mehr. Wenn mit Erscheinen von GNOME4 nicht auch gleich alle Extensions mitportiert werden, dann prophezeihe ich für GNOME hiermit einen zukünftigen Linux DE Marktanteil von etwa 5%.