Cannot install xiao rp2040 json file to Arduino board manager

That was a mistake when I said that there is a later version. I removed that paragraph from my post.

Sorry if it confused you.

Happy coding!

Regards,

Dave