Hey guys, I was rooting through the firmware and I found this!
[#if](http://forum.espruino.com/search/?q=%23if) !defined(PICO) && !defined(ESPRUINOBOARD) && !defined(ESPRUINOWIFI) && !defined(PUCKJS) && !defined(PIXLJS)
"Espruino is Open Source. Our work is supported\n"
"only by sales of official boards and donations:\n"
It is line 832 at Espruino/src/jsinteractive.c on the Espruino firmware Github page. Look at the first two lines.
hopefully the Pixl JS is an upcoming new board?