https://aartjan.nl/blog/usb-c-hdmi/