Add short module-level docstrings in several modules.