@attie > Okay, so is it a USB C alt mode? (e.g: DP) ... almost certainly no, because it also has USB A ports.
It almost certainly is DisplayPort alt-mode, especially with that 4K@30Hz cap that matches the available bandwidth on 2 lanes of DP1.2 which you get when sharing the lanes with USB 3 ports.
@dos I'd missed that it was possible to use 2x lanes for USB 3.0, and simultaneously use 2x lanes for DP!