Thanks for sharing, didn't know this implementation. Seems like they use a fork of https://github.com/adafruit/Adafruit_WebSerial_ESPTool/ which was the first implementation of this as far as I know.