dconf-tools manages extensions.

Sat Aug 13 16:38:20 UTC 2011

I have gnome-shell-extensions-common from Fedora installed
( https://admin.fedoraproject.org/pkgdb/builds/show/F-16-x86_64/gnome-shell-extensions-common/0/3.0.2/1.g63dd27cgit.fc16/noarch?_csrf_token=713cc4954d5d404dcab0164dcdf14ee19f83def9 converted with alien). With it, any installed extension package shows up in org.gnome.shell.extensions in dconf-editor (or gsettings from command line). I have the gnome-shell-extensions-user-theme too (see extension packages at https://admin.fedoraproject.org/pkgdb/builds/search/gnome-shell-extensions?_csrf_token=713cc4954d5d404dcab0164dcdf14ee19f83def9 ).