‘Extension Manager’ App Helps You Install and Manage GNOME Shell Extensions
Extension Manager is an interesting alternative to GNOME's official Extensions app to help you manage GNOME shell extensions. Let's take a closer look.
Source: It's FOSS