Add coverage information, and update documentation.