Better documentation for module.el