Pierre Langlois writes:

> The --manual-public-ip-logging-ok flag is now a no-op and was deprecated
> https://github.com/certbot/certbot/pull/8381
>
> * gnu/sevices/certbot.scm (certbot-command): Remove
          ^
          |
Oups, I've got a typo here, fixed locally!

Thanks,
Pierre