WebREPL content These files were sourced from commit fff7b87 of https://github.com/micropython/webrepl.