Gnome Shell 3.18.5 notified me some extensions needed updating. I visited https://extensions.gnome.org/local/ from Firefox, updated the Firefox extension, and now I want to uninstall some of the Gnome extensions, for example the following one.
Removable Drive Menu by fmuellner
A status menu for accessing and unmounting removable devices.
Hovering the mouse on System extension, I read the following tooltip.
System extension should be uninstalled using package manager. See about page for details.
The 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?
These are the extensions I want to remove.