Fedora 32: gnome-shell-extension-prefs is missing by default