Earlier quoted context omitted.
> The new Air has everything I want except the HDMI I use a USB-C -> HDMI cable. Works great on my Dell.
What product do you have, just so I have an example?
I bought it to see if I could play movies from my phone. It didn't work, so I chucked it in a drawer.
More recently, I bought a 50" TV to use as a giant developer monitor, and this cable works better than my Dell's HDMI port. What happens is that the HDMI port can only do 4k at 30hz, but this does 4k at 60hz.
You'd think something like that wouldn't matter for an IDE, but shockingly, moving a mouse at 30hz is... Just... Weird.