[fedora-arm] Fedora 32 on RPi 4

I intend to update this wiki page:

https://fedoraproject.org/wiki/Architectures/ARM/Raspberry_Pi

to clarify that the Raspberry Pi 4 does run Fedora 32 aarch64.

Currently, the page suggests that there is no support for the Raspberry Pi 4.

Does anyone know whether this is just a case of wiki rot, or is the RPi
actually not "officially supported"? I don't want to change the wiki page based
on personal experience but go against the official stance of the fine folk
working on the OS.

-klaatu