Don't all USB-C video outputs use DP alt mode too, with an HDMI adapter at the end? And they can do HDR.