Ugh. It's sad we're still saddled with HDMI at all, when DisplayPort has always been better.