This folder gets filled by the webrepl/inline_minify_webrepl.py script.