A native tool for browsing, installing, and managing GNOME Shell Extensions
