Even without the relative size difference of the TV and PC industries, the HDMI connector is simply more compact than the DVI connector.

Now Display Port vs HDMI is a more interesting competition and it would have been nice to have a clear DP victory here.