Man pages matching name pki-server-ocsp in section 8:

pki-server-ocsp.8.en

debian 11 / pki-ocsp