They say pretty directly in the post that they didn't want to deal with the hassles around dongles and uncommon ports for using this as a Linux PC in their pocket.

is usb-c really an uncommon port these days? I think I have more usb-c to hdmi cables lying around than actual hdmi cables