Hello `pgp-cert-d` developers. This issue is to ask about certificate deletion from a `CertD` store. Looking at the [API documentation for `CertD`](https://sequoia-pgp.gitlab.io/pgp-cert-d/openpgp_cert_d/struct.CertD.html), I could not find any method for removing a certificate from the store. * Is that on purpose (i.e. is the store intended to be add-only) ? * If not, how do you currently do to remove a key? I did some implementation that simply deletes the certificate file from disk based on its fingerprint (this is potentially be unsafe in case of multiple applications accessing the store at the same time). * Is there any plan to add a method for deleting certificates in the future ?