Official PlatformIO + Arduino IDE support for the Raspberry Pi Pico is now available!

Ivan,

Excellent! Thank you. It’s very much appreciated.