Can we just give up on HDMI and start putting DisplayPort on TVs already?