Wow. The electronics industry will apparently never learn. After the whole USB connector history, I discovered today that HDMI has done the same damn thing: in addition to HDMI, there is mini-HDMI (a.k.a., “type C” – as used by FPV goggles), not to be confused with micro-HDMI (a.k.a., “type D” – as used by Raspberry Pi). Grr…