[Bug 825411] Review Request: gnome-shell-extension-updater - Updater for installed extensions of gnome-shell