Comment by DannyBee

There are definitely not enough pins to do straight pin for pin HDMI through lightning. Of course, if you are going to go to the trouble to do what they did, you may as well bitstream it through the adapter, ...