Fuck HDMI Forum. Connection standards should not be proprietary.
USB is not proprietary
8P8C/RJ45 whatever you call it is not proprietary
Nobody is paying any royalty for those. As long as copper is good and connection is solid, nobody gets into trouble.
Why the fuck should HDMI be so anal about this?