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.