Ubuntu 17.10 (xorg), gnome 3.26.2, tweak tool installed. I have installed the
chrome-gnome-shell, and the web browser add-on
In the tweak tool, under extensions, I see all the extensions I downloaded and installed from https://extensions.gnome.org.
- I do not see any buttons (a red "X") next to each extension within the tweak tool in order to remove the individual extension. Is that by design? Is the only way to remove an extension is by going to https://extensions.gnome.org via a web browser?
- I also do not see within the tweak tool a button or hyperlink that will open https://extensions.gnome.org. Is that also by design?