[leeman2016]

You're probably right. But the issue here is that they are providing a 180W USB-C PD rather than 240W.

[magicalhippo]

Yeah, that's a solid step down, and a bit weird given USB-PD supports 240W[1].

[1]: https://www.usb.org/usb-charger-pd