Thanks - I'd seen this once on my system as well and assumed it was just the devtools.
But looking at it, I'm pretty sure it's the JS file ordering. The CDN was slow enough that the web browser could load index.js, run it, request apps.json and then parse that before marked.min.js got loaded.
I've now fixed it and updated - so please let me know if you see it again.
© Espruino, powered by microcosm.
Report a problem