I did load the MBed Raspberry Pi Pico board, but it was insufficient. I got compilation errors on blink. Think more something is required. You would think compilation would succeed independent of connecting the Pico, but it didn't. FWIW, on the RPI foundation area on Pico, yesterday afternoon, there was zero mention of Arduino. I find that curious. Might only be a slow update of documentation, but if it has been out for a year, then it would seem something hasn't been worked out just yet. Maybe commercial arrangements between the RPI foundation and Arduino?