Revoking a lost certificate

I see.

I assumed otherwise based on this community post.