*Note: this isn’t actually an issue, now. See below. Leaving it here for others’ benefit.
Sorry to be a pain. I’m trying to update to f72ef4d, and I followed the instructions - type “$”, drag the rev10.uf2 file to “RPI-RP2” - but it doesn’t do anything. The Mac makes the “bing” noise to indicate a file copy, but … nothing. I used the button on the back method, too, to get to update mode, and it gave me the same thing: just a “shrug” response after dragging the file.
Then, for giggles, on the Mac shell command line, I used a “cp” command, instead, and once the copy completed, the upgrade actually happened. So, if you’re on a Mac, it’s probably better to actually use a shell “cp” instead.
$ cp ~/Downloads/ci-buspirate-main-f72ef4d/bus_pirate5_rev10.uf2 /Volumes/RPI-RP2