Hello Guix! For certbot-service-type, the manual has an example for HTTP challenge. I was wondering if anyone has an example for DNS challenge? Regards, RG.