Wow I'm impressed at the developer experience. A reset button, flash with `make install`, woa. I've programmed plenty pro embedded systems that had substantially worse support. Hacky flasher apps, messing around with the power source, definitely no USB connector (on such a small board even). Super cool!
Just drag and drop, or detect the specific mass storage, or save to location from browser. Super easy.
Which, after checking that Casio mod site...is exactly what they use! So never mind ha ha. But the blog post on UF2 is certainly worth a read; it's just so simple, it's brilliant.