Hacker News Reader

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

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