I ordered a few Raspberry Pi 4s, still under way, each with their own power supply, and I plan to get more, but when I have been previously able to power RPis with USB-hub, there's apparently no USB-C-hubs, beyond few expensive 2 usb-c-port-hubs, in the existance:

https://superuser.com/questions/1381139/why-cant-i-find-a-usb-c-hub-with-multiple-usb-c-ports

So is the only option hoping to find some slim enough 5V/3A/15W USB-C charger for each RPi4 and plugging those into extension cords?