Amusingly you just conflated the pico (a dev board) with its chip (rp2040)