This makes browsing, installing and managing GNOME extensions a breeze (not a KDE joke btw). The new GNOME Extensions app finally adds some first-class extension management capabilities to GNOME but this is still the easiest way to deal with extensions. Thank you to the developer for creating and maintaining this.
