doc: lua-extensions.md