Or one for arduino https://news.ycombinator.com/item?id=41500071

Which was also forked for ESP32 and has its own community https://github.com/biologist79/ESPuino

Cool, thanks. The nice thing about the Pi one is that it (used to, at least) support Spotify and various streaming services. After a quick look I can't see that feature on those microcontroller versions.