I also notied that this is what I get after a reboot : gsettings get org.gnome.shell enabled-extensions @as [] - that's from terminal of course.
I also notied that this is what I get after a reboot : gsettings get org.gnome.shell enabled-extensions
@as [] - that's from terminal of course.