I think this understates the number of ways you can connect a monitor over USB-C if anything. Let's see, there's Alternate Mode DisplayPort, Alternate Mode HDMI, Alternate Mode Thunderbolt's video support, Thunderbolt to an external GPU, USB 3.0 graphics, possibly more, most or all of which can be converted to HDMI with different compatibility and performance tradeoffs.