Every time I hear about HDMI and amount of legalese problems around it, my response is "you can just use DisplayPort"