Ok, I just did some tests and it seems that's not actually what happens (at least not in this case).
After first boot the LED gets set into the wrong state for some reason. I've just added something to fix it.
@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, I just did some tests and it seems that's not actually what happens (at least not in this case).
After first boot the LED gets set into the wrong state for some reason. I've just added something to fix it.