I just read that the RP Pico 2 is now capable of running at 200MHz, up from 133MHz earlier. Using CMake, the new speed setting in the compiler is a symbolic constant: PICO_USE_FASTEST_SUPPORTED_CLOCK=1. I don't know if the Arduino IDE recognizes this or not.
There's been interest here in using the Pico as a second I/O processor in the T41. The Pico W has 26 I/O pins, 2Mb of Flash, and WiFi/Bluetooth support. No price was given for the Pico 2 nor did it say anything about WiFi/Bluetooth support, but the standard Pico W is about $8-$10. If I see additional info, I'll post it here.
Jack, W8TEE