I got a Raspberry Pi 400 a while ago and it's great for local web development and running all kinds of Docker containers, even with only 4 GB RAM. Before I screwed something up, it had a decent ...