2020-06-16: Copied to recipes.op111.net
Get a numbered list of all certificates that can be deleted:
sudo certbot delete
Then type the number of the certificate you want to delete and hit Enter.
Certificates can also be deleted by name:
sudo certbot delete --cert-name CERTNAME
certbot --help delete for more information.