Raspberry Pi/PlatformIO conflict blocks support for Pico-Arduino toolchain

Article note: Apparently PlatformIO tried to shake down the Pi foundation for ongoing funding in order to accept community-contributed RP2040 support? I was playing with various STM32 toolchains for the last few weeks (CubeIDE, the two Arduino cores, libopencm3+gnu parts),and it was one I was going to consider but... That's distasteful.