Oof, had a scare that I'd managed to pick RP2350B pins such that two UARTs alias each other, and I couldn't run both at once. But it turns out it's just the Zephyr pinmux headers which are bullshit, not matching the datasheet at all. Phew.
(In any case it's possible to use the life-saving PIO block to spawn yet another UART into existence with any pin)