analogWrite on ESP32

'no LED are being killed here'

Thank goodness, wouldn't want to 'tee off' ASPCA - PITA

'correct?'

Does cross check with:

http://www.espruino.com/ESP32#espruino-w­eb-ide

As you have a 'Widora air' board, what does that manufacturer data sheet say?

You may need their schematic to see if their GPIO DAC/PWM pin goes to which header pin.

Also, analogWrite() has a third argument, see link #2 above. Have you attempted using that?