They did, it's the Raspberry Pi Pico (as opposed to the Raspberry Pi) as a dev board or the RP2350 (as opposed to the BCMXXXX) as a chip.