hint of new board???

Hey guys, I was rooting through the firmware and I found this!

[#if](https://forum.espruino.com/search/­?q=%23if) !defined(PICO) && !defined(ESPRUINOBOARD) && !defined(ESPRUINOWIFI) && !defined(PUCKJS) && !defined(PIXLJS)
          "\n"
          "Espruino is Open Source. Our work is supported\n"
          "only by sales of official boards and donations:\n"
          "http://espruino.com/Donate\n"
[#endif](https://forum.espruino.com/sear­ch/?q=%23endif)

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?