In this case, we are going to revoke the cert.
Nowhere in the reply have I suggested revoking a certificate. You do NOT need to revoke certificates unless you suspect someone gained control of your private key or issued that certificate without authorization.