[blahlabs]

I don't think this is correct either. The USB C port has to support DP Alt Mode, which not all do, but it doesn't have to be a Thunderbolt port.

More than anything this probably highlights what a mess the standards are.

[buildbot]

You are correct: https://www.cablematters.com/Blog/USB-C/what-is-dp-alt-mode