gnome-shell extensions not loaded upon login

[Juha Siltala]

When I login to GNOME 3.10, no extensions are loaded and I have to manually enable them again. Restarting the shell during session does load the extensions, but when I shut down the machine and boot again, they are not remembered.

ProblemType: Bug
DistroRelease: Ubuntu 13.10
Package: gnome-shell 3.10.0.1-0ubuntu1~saucy1 [origin: LP-PPA-gnome3-team-gnome3-staging]
ProcVersionSignature: Ubuntu 3.11.0-12.19-generic 3.11.3
Uname: Linux 3.11.0-12-generic x86_64
NonfreeKernelModules: wl
ApportVersion: 2.12.5-0ubuntu2
Architecture: amd64
Date: Wed Oct 16 00:34:18 2013
DisplayManager: gdm
GsettingsChanges:
 b'org.gnome.desktop.interface' b'clock-show-date' b'true'
 b'org.gnome.desktop.interface' b'document-font-name' b"'Droid Sans 10'"
 b'org.gnome.desktop.interface' b'font-name' b"'Droid Sans 10'"
 b'org.gnome.desktop.interface' b'gtk-im-module' b"'gtk-im-context-simple'"
 b'org.gnome.desktop.interface' b'monospace-font-name' b"'Droid Sans Mono 10'"
InstallationDate: Installed on 2013-10-13 (2 days ago)
InstallationMedia: Ubuntu-GNOME 13.10 "Saucy Salamander" - Beta amd64 (20131012)
MarkForUpload: True
SourcePackage: gnome-shell
UpgradeStatus: No upgrade log present (probably fresh install)