https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json
The Arduino IDE requires sketch files to be in a correctly named subfolder, so confirm the dialogue asking to move the file to the correct folder with "OK".