@foone iirc USB-C tried to implement an HDMI alt mode but the group that controls HDMI licensing has since withdrawn from that, so USB-C can't continue to implement or support HDMI alt mode like it can do with DisplayPort.
@dragonarchitect@foone nah, it was more like: HDMI group developed HDMI alt-mode, nobody cared because it was late and much more awkward than DP alt-mode, it was dead on arrival and eventually even HDMI group itself abandoned it.