I'm using sony vaio tap 11 with micro hdmi and it's a balanced compromise.
The dongle is super cheap and it's basically just convert the small port into bigger port. So it's not cumbersome.
But. Because it's so bloody small and light. I lost it multiple times and it's a huge bummer when I do need external monitor.
Now my solution is by having both the small hdmi converter AND a huge dongle (to vga).
So I will really appreciate the existence of full size hdmi port.