https://w3c-ccg.github.io/vc-api/#issuer-service includes `DELETE /credentials/{id}` but any detailed API spec is not written.