Apple's never going to put HDMI on their laptops, I guarantee that. Mini-DP is where they're at. Displayport is fairly easily converted to HDMI in any case.

Frankly, I'm surprised that most other companies aren't going to DP in the laptop space. Certainly if you look at video cards, DP is where the new cards are going.

I am the Doctor, and THIS... is my SPOON!