I accept your point – although my understanding was that HDMI & Mini HDMI where mechanically identical?

Still, all the more reason to use an sealed battery to reduce the space used.