How to get RGB LED working on Puck.js

OK, figured it out. After poking around your other Espruino boards, I noticed instead of C7 you sometimes used LED1 so I tried this instead:

var led = require("RGBLed").connect([LED1, LED2, LED3], false);

This works. I would still make a polite request that you figure out a way to have your Espruino docs work better for your new puck.js users. One suggestion would be to have, in your getting started section a simple doc that covers this point with a list of Pinout constants (such as BTN1 and LED1) so we have a chance of figuring this out on our own a bit quicker.

Thanks for a great little board! Really enjoying playing with it. My first project is a 'Conference beacon': I press puck once and it broadcasts my Physical Web URL for 1 hour and then auto turns off.