Why does a Raspberry Pi 3 running Raspberry Pi OS fit better for our needs than a Raspberry Pi 4 running Fedora 37? What is the explanation for this phenomenon?