Probably a bit unfair on the HDMI port – all the small consumer electronics devices I have are MiniHDMI (Canon cameras – even the pro ones – etc), so much so that I actually have a mini-HDMI lead running out of my TV, rather than an HDMI one. If you look at the PCB foot print for a mini-HDMI versus a HDMI foot print you’ll see why no-one uses them in a small consumer device – it might only look a little wider, but it’s footprint is massive.