NB this if for DisplayPort to HDMI, NOT the other way around!