are there different hdmi connectors?
['Type A (standard)', 'Type B (dual link - not currently used in any mainstream consumer products)', 'Type C (mini)', 'Type D (micro)', 'Type E (the Automotive Connection System, chiefly developed for in-vehicle use)']