anchor.diff:          type = types.package;
           default = pkgs.mailman;
           defaultText = "pkgs.mailman";
  -        example = "pkgs.mailman.override { archivers = []; }";
  +        example = literalExample "pkgs.mailman.override { archivers = []; }";
           description = "Mailman package to use";
         };
   
  
positive.code:         description = ''
            Overrides for the default mailman-web Django settings.
          '';
        };
  
        hyperkitty = {
  
negative.code:           globals().update(json.load(f))
      '';
  
      services.nginx = mkIf cfg.serve.enable {
        enable = mkDefault true;
        virtualHosts."${lib.head cfg.webHosts}" = {
          serverAliases = cfg.webHosts;
          locations = {
            "/".extraConfig = "uwsgi_pass unix:/run/mailman-web.socket;";
            "/static/".alias = settings.STATIC_ROOT + "/";
          };
        };
      };
  
      environment.systemPackages = [ (pkgs.buildEnv {
        name = "mailman-tools";
        # We don't want to pollute the system PATH with a python
        # interpreter etc. so let's pick only the stuff we actually
        # want from pythonEnv
        pathsToLink = ["/bin"];
        paths = [pythonEnv];
        postBuild = ''
          find $out/bin/ -mindepth 1 -not -name "mailman*" -delete
        '';
      }) ];
  
      services.postfix = {
        recipientDelimiter = "+";         # bake recipient addresses in mail envelopes via VERP
  