A confession: before I heard Bradley Kuhn's talk at Freenode.live last November, I didn't know that HDMI was a proprietary interface. I just assumed that HDMI was like VGA, USB and dozens of other standardized ways to connect the jacks on two devices through a cable with plugs at both ends.