From now on there will be ready-to-use firmware UF2 files that you'll only need to drag and drop onto the Raspberry Pi Pico to get started! This works perfectly fine with the default detector and if you don't want to change any of the hardware, such as the voltage reference, etc. This includes, of course, the boards purchased on the makerfabs store.

This way you'll not have to worry about any of the Arduino IDE parts and installing this extra software, if you don't want to. The Raspberry Pi Pico, fortunately, allows you to program it very, very easily via the UF2 file approach. Enjoy!