Refine auto-move prefs a bit

Florian Müllner requested to merge fmuellner/gnome-shell-extensions:auto-move-prefs into main Feb 10, 2022