Update documentation with latest ctlike results.