Binary: gnome-shell-extension-tool

Debian packages that has this binary:

Package: gnome-shell

/usr/bin/gnome-shell-extension-tool