(TXT) kpathsea.lua
 (TXT) open.lua
 (DIR) texdef
 (TXT) texdef.lua
 (DIR) texrocks
 (TXT) texrocks.lua
 (TXT) tlua.lua