On Sat, Mar 28, 2020 at 11:55 AM Dario Lesca <d.lesca@solinos.it> wrote:
Fedora 32 beta:
Whit a default installation, it is no longer possible to open the
properties panel of the installed extensions.

Neither from the gnome shell extension site, nor from gnome-tweak and
nor from the command line is possible access to extension properties

The /usr/bin/gnome-shell-extension-prefs file is moved from package
gnome-shell into gnome-extensions-app

This package is not installed by default.

To resolve you must run:
sudo yum install gnome-extensions-app

IMHO: it's better to bind this package with some dependency to package
gnome-shell-extension-common

Fedora 31:
[lesca@dodo ~]$ rpm -qf /usr/bin/gnome-shell-extension-prefs
gnome-shell-3.34.4-2.fc31.x86_64

Fedora 32:
[lesca@localhost ~]$ rpm -qf /usr/bin/gnome-shell-extension-prefs
gnome-extensions-app-3.36.0-4.fc32.x86_64

Hey Dario,
thanks for the notification. I started a discussion on the desktop list here:

Kamil