This is probably simple, but I cannot reenable my extensions after Gnome crashed. I tried:
sudo gsettings set org.gnome.shell disable-user-extensions false
as suggested by searching. I seem to remember this working before, but not this time. There must be some other setting of which I am unaware, and I cannot find it.
The Extensions task and Tweaks are completely disabled.
PS. Sorry, I am using Gnome 3.38 in Byzantium.