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