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

pki-server-tps.8.en

debian 11 / pki-tps