GitHub repository: Jouaux/extension-manager
Description: A utility for browsing and installing GNOME Shell Extensions.