Ah ok, I thought you were talking about mini PCs in the same form factor as RPis (very small, credit-card sized). Yeah I have a great no-name mini PC as my primary desktop. But it's still 4x bigger than a RPi I think.