What if you spliced the dongle into the USB C port used to charge the system and send the video out to the HDMI port? Say, for instance, you put in a USB C hub between the dock and the charger/dongle? So it's something like
Charger + dongle ----> Hub ----> Dock
Anyone out there have a USB C hub and willing to give it a go?