Gnome Shell 3.18.5 notified me some extensions needed updating. I went to: https://extensions.gnome.org/local/ in FireFox, updated the FF extension, and now I want to uninstall some of the Gnome extensions. E.g.
**Removable Drive Menu by fmuellner System extension A status menu for accessing and unmounting removable devices.**
System extension has a tooltip:
System extension should be uninstalled using package manager. See about page for details.
About page says:
What is «System extension»? How to uninstall it? System extension is installed to system-wide location (usually «/usr/share/gnome-shell/extensions»). Such extension may be used by any PC user, however it can be uninstalled only by system administrator (root). To uninstall system extension use your distro's package manager or ask your system administrator.
I looked through Synaptic but don't see this extension. How do I remove it?
Thanks in advance!