EspruinoWiFi module builtin?

Thanks for clarification., using save() for wifi and onInit() for the connection works well.

Now I wonder why the not official ESP8266 gets such goodness built it, including a telnet server, and the official Espruino WiFi needs extra initialization to enable networking.