Those are the ones, yes. There have been a few mistakes but they've tried hard to solve them, which is the important thing.
I could totally recommend trying to use their OPL too - if you can design with the components and part outlines they have, they can assemble the device from their own stock and it's much faster and cheaper.
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.
Those are the ones, yes. There have been a few mistakes but they've tried hard to solve them, which is the important thing.
I could totally recommend trying to use their OPL too - if you can design with the components and part outlines they have, they can assemble the device from their own stock and it's much faster and cheaper.