Extension-manager GNOME · GitHubA utility for browsing and installing GNOME Shell Extensions. - GitHub - mjakeman/extension-manager: A utility for browsing and installing GNOME Shell Extensions.App repository#Source Code: GitHub#Type: Open-Source#Community: GNOME·github.com·Jul 1, 2022Extension-manager GNOME · GitHub