circuitpython/ports/esp32/modules/webrepl.py