Make `gnome-shell-extension-prefs` the main way that extensions are managed (#1968) · Issues · GNOME / gnome-shell