How to remove gnome-shell-extensions from Debian Unstable (Sid)