[Bug 2120401] Review Request: extension-manager - A utility for browsing and installing GNOME Shell Extensions.