Wifi does work on the Pi 4 with Fedora 37. I tried that just a few hours ago.