It seems this arrived in testing.I upgraded my system today and could not set preferences for this package. Installing gnome-shell-extension-prefs solved the problem so I assume this should be a dependency.
gnome-shell version 3.36.1-5 regards, Matthias
