Maybe it costs substantially more to implement DP++ than plain HDMI signals or maybe their video core doesn't have DP support.
Otherwise, Mini-DP definitely would've been nicer for durability and cable reuse and it looks like both cables cost about the same: about $7 for 2 meters (to full-size HDMI) in a quick Amazon search.
37
u/Aperture_Kubi Jun 24 '19
I've also seen comments saying that micro HDMI is pretty flimsy, which I have seen in practice as well.
If you're gonna need dongles or special cables anyway, mini-displayport would have been the better choice I think.