Ubuntu

Binary package “gnome-shell-extension-prefs” in ubuntu mantic

This package contains a tool which users who use Shell extensions can use to
toggle them on and off, and access their preferences.