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 fmuellnerSystem extensionA 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?Here are the extensions I want to remove: 1 2 3 4 5Thanks in advance!
Can't uninstall Gnome Shell Extension
gnome;gnome3;gnome shell
Launch gnome-tweak-toolSearch Extensions in right menSelect the extension and click on Remove