Document the module_lang option.

Closes #6169.
Merge pull request #6381 from franckcuny/doc-module-lang

Document the module_lang option.