Comment by pjmlp

I would still go with the Raspberry Pi, because it is designed from the ground up for Linux, while most mini PC home labs are the usual hit-and-miss with Linux distros.