I waited a few days to see what the others might comment, especially regarding the ESP32 port, but it appears their interest was more to get you up and running as their requests were waiting for uploaded code in order to respond, and mine was more to understand in order to improve on the documentation process in addition.
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.
Sun 2021.05.16
I waited a few days to see what the others might comment, especially regarding the ESP32 port, but it appears their interest was more to get you up and running as their requests were waiting for uploaded code in order to respond, and mine was more to understand in order to improve on the documentation process in addition.
Had you seen this invaluable companion link: Quick Start - Proper way to call init() on start up
Again, Thank you @gdanov for your well explained response which should provide insight to those documenting.