In future if you need to configure or analyse extensions, please use the Extensions app (gnome-shell-extension-prefs) and not Gnome Tweaks. But it looks like the list of extensions is still nice and short.
In future if you need to configure or analyse extensions, please use the Extensions app (gnome- shell-extension -prefs) and not Gnome Tweaks. But it looks like the list of extensions is still nice and short.