Right? I was gonna say, I didn't realize the USB-C to HDMI cable I've been using for, oh a year or two didn't exist and I've just been imagining the connection.
Also google dumped their USB-C DP support for generations for no reason and now all the reasonably priced used ones dont support it. Shame that they always have to make everything worse.
I found a good use while traveling it to hook it up to the TV in your room if it doesn’t support casting. Most (yes I know some hotels lock it down) have a way of getting to the HDMI port and you can watch what you want on it.