Manual merge of devel changes:

- lua function update (partial)
- lua documentation update
- config.ld for LDoc (documentation creation tool for Lua)