> That HDMI Forum does not allow TVs to be sold with DisplayPort

Wait what?! This would be jaw-dropping anticompetitive behavior. Could you source this statement?