Comment on Question: What are some alternatives to a Raspberry Pi good for a small home server?