I started maintaining a “home server” more than 10 years ago. Although I tried to keep it extremely simple, the device, the software, and the setup evolved over time. Raspberry Pi was replaced with a mini PC. Plain old Linux services were replaced with Docker containers. The mini PC got a memory upgrade. Finally, at…