More progress in documentation.