I agree on the reasoning, but at the same time, they might as well have just gone with a single USB-2 port and had people buy a <$10 USB hub off Amazon or somet

I agree on the reasoning, but at the same time, they might as well have just gone with a single USB-2 port and had people buy a <$10 USB hub off Amazon or something (or offered it as a peripheral for $20). Although, you can buy a few port USB-c hub for almost the same price, and if they just had two USB-c ports it would all work just as well with the addition of a hub (since you only need to add a keyboard and mouse when stationary).