That can't be right. I'm reading this comment on an HDR monitor over DP right now.

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