What are the differences between the two .bin files?
One is just the bootloader (which can't get updated by the firmware updater anyway), and the other is a bit tricky - depending on whether you ran create_pico_image_1v3.sh or make it's either the full image (both bootloader and espruino firmware) or it's just the (un-offset) espruino firmware.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
One is just the bootloader (which can't get updated by the firmware updater anyway), and the other is a bit tricky - depending on whether you ran
create_pico_image_1v3.sh
ormake
it's either the full image (both bootloader and espruino firmware) or it's just the (un-offset) espruino firmware.