You can also use the versatile USB-C or MiniDisplayPort to send HDMI data using an adapter. There’s a double-sized Type-B port too, with 29 pins that’s designed for high-resolution displays ...
Nonda’s USB-C to HDMI Adapter performed fine and had a cute fold-up design, but we found it hard to unfasten (a drawback that outweighed the cuteness of said design). Satechi’s Aluminum Type-C ...