The micro-HDMI, or Type-D, looks like a tiny micro-USB ... Cables with different plugs on each end are technically out of spec. But plenty of them exist on online shopping sites.