Use `elf2uf2-rs` v2.0.0 (or newer, I guess) to make a UF2 file. Then you can flash the Pico with drag-and-drop. Note that v1.3.8 doesn't work (you get a hard fault booting the OS), but v2.0.0 does.