If so, I'd much rather have miniDP. Better connector, better standard, it talks HDMI anyway if you want to, and you will need an adapter anyway.
The size is probably to save space on the board - looks like they try to keep to relatively the same size and mounting holes as previous boards.
I have an entire box of these mini-normal converter cables because of boards like this. OK when messing around but I can see the frustrations if you're not used to it.