The protocol to get video-out isn’t proprietary, just rare —they’re using Mobility DisplayPort from the Switch, and converting DP to HDMI in the dock.

Of course, had they used the native HDMI side-channel (which I’m not sure had been finalized at the time), they would have been able to skip this step.