The bugfix release of the GNOME Shell should make installing and uninstalling Shell Extensions using the extensions.gnome.org site more reliable