How do users find Fedora's gnome-shell-extension-* packages?
They don't appear in GNOME Software, because of missing appdata files.
Is gnome-tweak-tool and its link to the the extensions web site the
only way to find more extensions? Or the only "supported" way other
than using command-line tools to search for packages?