And about the HDMI, I understand many people finding it a great convenience. What really should be that USB-C should replace HDMI, or at least it should be compatible in a way that they have the same form factor and can be used exchangeably. One port to rule them all would be great and the best of both worlds.