> We feel that the machine also needs at least one USB-A, a fold-down Ethernet socket, and a mini DisplayPort or micro-HDMI socket.

I agree that a USB-A port would be nice. Ethernet, maybe, but it's a stretch to ask for that in a thin fanless form factor. But asking for mini Display port or micro HDMI is insane. If you're going to need a dongle to connect to your monitor anyways, then using Type-C for the display output makes way more sense. DisplayPort alt mode is way more common and useful than the miniature versions of dedicated DP or HDMI ports.