A hardware hacker figured out how to double the RAM on a Raspberry Pi 400 the hard way (because there is no easy way). Speaking of Raspberry Pi, the folks behind the official OS for the single-board ...