anchor.diff:      };
       users.groups.mailman = {};
   
  -    environment.etc."mailman.cfg".text = mailmanCfg;
  -
       environment.etc."mailman3/settings.py".text = ''
         import os
   
  
positive.code:       mailman-daily = {
          description = "Trigger daily Mailman events";
          startAt = "daily";
          restartTriggers = [ config.environment.etc."mailman.cfg".source ];
          serviceConfig = {
            ExecStart = "${mailmanEnv}/bin/mailman digests --send";
            User = "mailman";
  
negative.code:         default = {};
          description = ''
            Overrides for the default mailman-web Django settings.
          '';
        };
  
        restApiPassFile = mkOption {
          default = null;
          type = types.nullOr types.str;
          description = ''
            Path to the file containing the value for <literal>MAILMAN_REST_API_PASS</literal>.
          '';
        };
  
  