Mini PCs replaced almost every Raspberry Pi I own, but GPIO pins kept one on my desk ...