Interesting fact I just discovered. Connecting an usb-c dock on the thunderbolt port allows to use the HDMI output from the dock 
, if I do it on the usb-c it doesn’t work. On both, the USB controllers from the dock are working, and also the integrated ethernet adapter (for an extra ethernet port)
2 Likes