How do you uninstall it properly? I enabled it through the https://extensions.gnome.org/ page, but there is not an uninstall option there. It does not show up as an installed .deb in ubuntu software, so I am assuming we need to do a sudo apt remove, but not sure what package is called....
How do you uninstall it properly? I enabled it through the https:/ /extensions. gnome.org/ page, but there is not an uninstall option there. It does not show up as an installed .deb in ubuntu software, so I am assuming we need to do a sudo apt remove, but not sure what package is called....