02b8804b96
When the user installs an extension, we always enable it. Change the 'enabled-extensions' key, if necessary, to reflect this. https://bugzilla.gnome.org/show_bug.cgi?id=658612