That makes some amount of sense, I avoid using HDMI if at all possible. Even on other platforms I’ve generally had less trouble out of DisplayPort and USB-C DP alt mode. I wish it became standard for TVs to have at least a single DisplayPort, it’d make hooking computers up more pleasant.