[caops-wg] Separating the OCSP doc comments into separate threads -- watch out!