Given that they made custom silicon for the IO module, I'm disappointed that they didn't include a couple PIO cores in there. It would've been great to be able to use the GPIO pins to drive serial LEDs, as extra uart peripherals, or for any of the numerous other things people have developed for the RP2040 PIO.