For what it’s worth, deleting them (the local files) and revoking them are two different things.
certbot delete” doesn’t automatically revoke certificates. It just deletes some of the local files.
certbot revoke” doesn’t automatically delete any files, either.
Revoking them shouldn’t be necessary.