[Matteo] bought a new Raspberry Pi 4. Why not? You get a quad-core ARM processor, up to 4 GB of RAM, and a gigabit Ethernet port for $35 $35-55. However, the default operating system is still a 32 ...