I have installed some GNOME shell themes through GNOME Tweaks and User Shell Theme Extensions. I also made some shell theme mods and installed as zip files. Now, I want to remove some unused shell themes, but, also if I delete the folders and zip files, the choices under the User Shell options in GNOME Tweaks still remain.
How can I remove these?
Thanks in advance.