TOOLS: better documentation of lua scripts