Clarify why \typein is modified with LuaTeX
treecdc0021c421cedea16f2ffb97f25f2347254d266
drwxr-xr-x - base
-rw-r--r-- 839 build-config.lua
-rw-r--r-- 2221 build.lua
drwxr-xr-x - doc
drwxr-xr-x - required
drwxr-xr-x - scripts
drwxr-xr-x - support
drwxr-xr-x - validate