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