Thanks; now I see that it would be interesting if the tool had a button for easily downloading the generated binaries; I'll take a note so I don't forget:https://github.com/haroldo-ok/BlocklyVN8bit/issues/56
