HDMI over USB-C: What’s a development kit? | Hacker News Reader