I'm genuinely curious about who uses the Raspberry Pi distro on a x86 computer.<p>Does it exist only related to the development of the Raspberry Pi OS for aarch64 and armhf or there are people out there that choose Raspberry Pi Desktop as their main distro for their PC/Mac?