I would prefer to have a larger card with female HDMI (or DP) and USB (female for power and eventual storage access by a beefier host and male to use the mouse and the trackpad and other USB ports on the laptop or dock.
the A20 computer card has Micro-HDMI and Micro-USB-OTG and Micro-SD. it's effectively the same as one of those USB dongle computers in that regard, so we're providing the option for people to pledge for a "cable kit". take care if you're going to source your own! make damn sure it's the right type, you want one that's "OTG Host Power" - many of the ones that you can find online DO NOT do the bidirectional power provision that you need.
- Micro-HDMI Interface (for 2nd monitor)
- Micro-USB-OTG (bi-directional power)
USB-C would be great though
when the USB3 world stabilises - even intel can't get it right. also it'll be a while before GPL-compliant SoCs come out that have stable USB3 hardware. it's quite costly at the moment and the low-to-medium end tablet/smartphone fabless semi companies can't justify the cost.