anchor.diff:  
         extraLegoRunFlags = mkOption {
           type = types.listOf types.str;
  -        default = if inheritDefaults then defaults.extraLegoRunFlags else [];
  -        defaultText = mkDefaultText "[]";
  +        inherit (defaultAndText "extraLegoRunFlags" []) default defaultText;
           description = ''
             Additional flags to pass to lego run.
           '';
         };
       };
  +  };
   
     certOpts = { name, config, ... }: {
  -    options = (inheritableOpts {
  -      inherit (cfg) defaults;
  -      # During doc generation, name = "<name>" and doesn't really
  -      # exist as a cert. As such, handle undfined certs.
  -      inheritDefaults = (lib.attrByPath
  -        [name]
  -        { inheritDefaults = false; }
  -        cfg.certs
  -      ).inheritDefaults;
  -    }) // {
  +    options = {
         # user option has been removed
         user = mkOption {
           visible = false;
  
positive.code: 
        dnsPropagationCheck = mkOption {
          type = types.bool;
          default = if inheritDefaults then defaults.dnsPropagationCheck else true;
          defaultText = mkDefaultText "true";
          description = ''
            Toggles lego DNS propagation check, which is used alongside DNS-01
            challenge to ensure the DNS entries required are available.
  
negative.code: 
        dnsProvider = mkOption {
          type = types.nullOr types.str;
          inherit (defaultAndText "dnsProvider" null) default defaultText;
          example = "route53";
          description = ''
            DNS Challenge provider. For a list of supported providers, see the "code"
  