Also interesting to note that there seems to be usb-c to hdmi adapter! Not sure if such thing supported under Linux ...