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

Pico debugger related issues can be tracked in the following thread.