Comment by smeagull

I feel like HDMI is dead anyway since USB-C. Not only do I get display port over it, it powers my laptop and lets me use the same mouse + headset for whatever laptop I happen to be using.