Plus there’s a ... The micro-HDMI, or Type-D, looks like a tiny micro-USB port. And again it packs in the full number of pins though jumbles them up in a different order to the other two types.