Gnome tweak tool is reporting an error that the extension to choose your GNOME shell theme is not enabled, although it is. Is there any way to manually override it, other than through the tool itself?
gnome-tweak-tool
gnome;gnome shell