Und ausgerechnet meine beiden Lieblingserweiterungen für die Gnome-Shell gibt es noch nicht für Gnome 3.10 #gnarf