For what it's worth there are third-party rp2350 boards with USB-C connectors if that's important to you. Heck, WaveShare has one with two USB-C connectors: https://www.waveshare.com/rp2350-usb-c.htm
This way, I can have my laptop running codex control over a target laptop, by pretending to be a keyboard.
I do think that you're missing my point, which is that we're significantly past the point in this wretched timeline where they should offer a USB-C version of the reference board for this MCU.