Firstly, I would imagine there isn't a whole lot of users that would use the HDMI input over DisplayPort, unless of course they had a secondary device. And this is where the issue will present itself. Typically the HDMI would be used for a console, w...