You need one port to be USB-C for charging.

The other three can be mixed and matched with whatever you like.

Thank you! That’s what I suspected from the pictures, but I was able to select 0 USB-C ports with no warning, so I was confused.

Well, there is.

From the Expansion card selection step:

We suggest ordering 4 or more Expansion Cards, and that at least one is a USB-C Expansion Card for charging the laptop.