Add the Lua scripting language plugin to the manual.