Yes. I meant HDMI coming out of the dock, not HDMI AltMode. As you say, the actual conversion has to be done in the dock (or in a converter) but that doesn’t mean it actually works with any given combination of hardware.
Yes. I meant HDMI coming out of the dock, not HDMI AltMode. As you say, the actual conversion has to be done in the dock (or in a converter) but that doesn’t mean it actually works with any given combination of hardware.