It gets generated by it's a small file that doesn't change often
and when users download internal_filesystem/ from git (to run a
statically compiled Linux build, for example) they need this.
Host everything on the device itself, rather than redirecting
to https://micropython.org/webrepl/ because that doesn't work when
there is not internet, including when the device is in Access Point
mode.
This was a bit slow, because of the many files and being pretty large,
but the inline_minify_webrepl.py makes this much better and brings it
down to around 1s to load the page, versus 20 seconds.
The minification also reduces the size from around 160KB to 80KB.
I use PyCharm. So there is the .idea directory to exclude. But exclude every variant of these are
boring. So i use this idea: Exclude all dot stuff and include the needed one.
Thomas Farstrike
JensDiemer