Why did they have to use a micro HDMI port? Couldn't they have done dual USB-C and made one the DisplayPort output? MicroHDMI is not a very nice connector, it's a lot of pins under mechanical stress from the heavy, rigid HDMI people generally attach to it.
Micro HDMI
USB Type C 3.2 with Power Delivery 3.0
USB Type C 3.2 with Power Delivery 3.0
Micro SD Memory Card Reader
3.5mm Headphone Jack
HDMI version: 2.0
USB-C Interface: Display Port (DP Alt Mode)
USB version: 3.2 Gen 2 (up to 10 Gbps)
Maybe I am missing something, but it seems to have Display Port for their USB-C?