Further progress in documentation.