RIP HDMI Alt Mode, we hardly knew ye

Seems like a very good thing, the last thing USB-C needs is two different ways of doing video.