Great to see it getting ready. Since the USB-C Power Delivery port doesn't support Display Port output, maybe there is a complex adapter that could splice the HDMI signal in (converted to Display Port) while still supporting data and Power Delivery?
I have been wondering about something similar myself. It seems like each interface on the port boards has a separate internal cable, so even though by default PD is on the left port board and HDMI is on the right it might be possible?
