Cannot install xiao rp2040 json file to Arduino board manager

I’m brand new to the Xiao, Pi, Aurduino IDE environment. Very confused about how to get started. I’d like to make some projects using the RP2040 board but so far I have not found the board files from seeed that support it. This is stopping me from purchasing these boards. I did read the getting started blog which explained about the board files to download and I have done that and installed it into the board manager in the arduino IDE but I still can not find support for the RP2040.

Any pointers on how to get the board supported?

Thanks Mike