[unwind]

Uh some of us here in the "real" embedded world read the RP2040's specs (dual Cortex-M0+ cores clocked at 133 MHz, bare chip cost is $1) and go "uh there's a typo here, they put THREE digits in the clock speed hahaha".

Not really, but you get my point. For the kinds of devices the RP2040 competes with, it is not slow.