From the specs it's very annoying this uses a mini-HDMI. There's room for a full HDMI port, and it's such a waste. We all have dozens of HDMI cables at home, but zero mini-HDMI.
I don't think there is, in fact, room for a full HDMI port. Mini HDMI is a compromise, and everyone knows it. It wouldn't have been included if full size HDMI was feasible.