native tool for managing GNOME Shell Extensions
