Super+number key combos can't be overriden in GNOME 3.32

In GNOME 3.30 and older, Super+number combos were not bound to anything by default, and I used them to switch to workspaces (so Super+1 to switch to workspace 1, Super+2 to switch to workspace 2, etc). In GNOME 3.32, these combos are bound to start or focus a favorite application number X from GNOME overview (so Super+1 starts/focuses the first favorite app, Super+2 the second one, etc). These shortcuts are not configurable (at least I haven't found a place to change/disable them). The problem is that you can override them in control-center and assign desktop switching to them, but that works only until gnome-shell is restarted (or perhaps there's a race condition, either way it doesn't work reliably).

So here's my request. Please make sure that if the user overrides these combos using control-center, they override the defaults correctly and the new combos work properly. Thank you.

Reproducer:

1. Use Super+1/2/3/4 to start favorite app X
2. Use control-center and set Switch to workspace X to Super+X combo
3. Try Super+1/2/3/4, they switch workspaces (with the exception of the last free workspace, that can't be switched to, and instead a favorite app launches)
4. Restart gnome-shell (r, or re-log)
5. Try Super+1/2/3/4, they no longer switch workspaces, but again launch favorite app X

gnome-shell-3.32.1-1.fc30.x86_64
gnome-settings-daemon-3.32.0-1.fc30.x86_64
gnome-control-center-3.32.1-2.fc30.x86_64
Fedora 30