anchor.diff:        };
       };
   
  -
       environmentFile = mkOption {
         type = with types; nullOr path;
         default = null;
  
positive.code: 
          Note that this file needs to be available on the host on which
          <literal>CodiMD</literal> is running.
        '';
      };
    };
  
negative.code:   cfg = config.services.codimd;
  
    prettyJSON = conf:
      pkgs.runCommandLocal "codimd-config.json" {
        nativeBuildInputs = [ pkgs.jq ];
      } ''
        echo '${builtins.toJSON conf}' | jq \
          '{production:del(.[]|nulls)|del(.[][]?|nulls)}' > $out
      '';
  in
  