On a machine running Gnome, browse to https://extensions.gnome.org/local/ to see the extensions you have running (and install new ones).
Ideally you want to be running vanilla Gnome to get the best out of this. sudo apt install gnome-session
will give you what you need (then reboot and choose a Gnome session).