Very simple and straightforward - and then not - a short tutorial showing how to uninstall extensions in the Gnome 3 desktop environment. For your eyes only. https://www.dedoimedo.com/computers/gnome-uninstall-extensions.html Cheers, Mrk