Any update on Arduino IDE support for the Pi Pico?

I read a post on a blog somewhere that was a few months old now, but it said that Raspberry Pi Pico support was under development for the Arduino IDE...

Anyone know what the status is on that or when it might go prime time? Any way to get my hands on it pre-release?

Thanks,

Mike

https://forum.arduino.cc/?topic=730193#msg4912824