Update manual/Lua.tex