Question: in the case that the gnome shell crashed (for whatever reason) and recovers itself, are the extensions (or generally the tweak tool settings) disabled or enabled?