Great news. HDMI can just go and die. If the HdMI Forum really thinks it’s bigger than Linux, it’s wrong. While category of devices in this space are just Linux only. Eventually, they’ll add a DP port, eventually (10 years later)