Thanks - I've just pulled those changes in and I'll update the website in the next day or so.
About the naming - I know - I was wondering about that, it's confusing. The problem is 'Web IDE' is used all over the tutorials to mean 'the IDE' - any of them could be used. Hopefully this problem will be relatively short-lived - when Google add Web Bluetooth support for Windows there won't be much need for the native app.
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.
Thanks - I've just pulled those changes in and I'll update the website in the next day or so.
About the naming - I know - I was wondering about that, it's confusing. The problem is 'Web IDE' is used all over the tutorials to mean 'the IDE' - any of them could be used. Hopefully this problem will be relatively short-lived - when Google add Web Bluetooth support for Windows there won't be much need for the native app.