Cannot remove "User Themes" extension
I am using the webui (https://extensions.gnome.org/local/) for managing my extensions and would like to remove the "User Themes" extension.
- The removal button is not available.
- When I try to update it, I receive an error.
Why can't I remove this extension? Is it part of the core/default extensions?
My system is the following:
- OS: Ubuntu 18.04 LTS
- Kernel: 4.15.0-20-generic #21-Ubuntu SMP Tue Apr 24 06:16:15 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux
- gnome: 3.22+9
- gnome-shell: 3.28.1-0ubuntu2
- gnome-shell-extensions: 3.28.0-2
Do you need any additional information?