[Dev-luatex] Question about LuaTeX