Ok, it should be fixed now in the development app loader.
@Gordon started
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.
Ok, it should be fixed now in the development app loader.