Nach dem Upgrade auf 18.10 ist das Verhalten von Gnome-Erweiterungen sehr merkwürdig. Nachdem mein Laptop in den Ruhezustand versetzt wurde, schalten sich alle aus und das erneute Aktivieren unter https://extensions.gnome.org/local/ hilft nicht: Es ändert sich nichts und wenn ich die Seite aktualisiere, werden sie wieder deaktiviert.
Die einzige Möglichkeit, sie wieder einzuschalten, besteht darin, sie neu zu installieren.