But, I thought Arduino had become officially evil once it joined Qualcomm. Besides which a Raspberry Pi Pico is cheaper than any Arduino-branded board ever was. So I'd just program this type of thing in MicroPython.
I do see that in the article, the project used an Adafruit Trinket M0, a very cute little board that has CircuitPython already installed. So I wonder why not just use CircuitPython. Anyway though, it's a Cortex M0 board, rather than the traditional Atmega that the Arduino world grew up using.