Comment 9 for bug 1833471

I do not think I have gnome shell extensions installed.
nbeerli@galaxy3:~$ sudo apt remove gnome-shell-extensions
Reading package lists... Done
Building dependency tree
Reading state information... Done
Package 'gnome-shell-extensions' is not installed, so not removed
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
nbeerli@galaxy3:~$

Also no EasyScreenCase