Fedora GNOME3 now available

[rgab]

I installed this Fedora build on a fast micro SD card (PNY Elite-X 256 GB), upgraded to Fedora 32 and so far it runs amazingly well, I can barely notice any speed issues as compared to running Manjaro from eMMC, apart from programs launching ever so slightly slower. 

Does anyone know where to get the kernel headers for Fedora for the PBP? I am trying to build Wireguard from source. I managed to build it without issues on Manjaro, as the kernel headers were easily available.

Also, does anyone else have issues with gnome extension settings in this build of Fedora? I can install extensions (dash to panel, bing wallpaper, clipboard indicator, sound input & output device chooser) and they run fine, but I cannot access the settings dialog for any of the extensions. When I open it, the tweaks panel just crashes, restarting does not help. If I try and launch the settings dialog by right clicking on the panel (in Dash to Panel) and selecting Dash to Panel settings, I get 

Execution of "gnome-shell-extension-prefs" failed:
Command not found

I tried to install "gnome-shell-extension-prefs" but could not find it in the repo.

(Note: I just posted this in the wrong topic, will delete once it passes moderation)