anchor.diff:  let
     cfg = config.services.ekklesia.portal;
   
  -  defaultConfig = {
  -
  -  };
  -
  -  appConfigFile =
  -    pkgs.writeText "ekklesia-portal-config.json"
  -      (toJSON
  -        (lib.recursiveUpdate defaultConfig cfg.extraConfig));
  +  configFilename = "ekklesia-portal-config.json";
  +
  +  configInput =
  +    pkgs.writeText configFilename
  +      (toJSON cfg.extraConfig);
   
     serveApp = import ../serve_app.nix {
  -    inherit appConfigFile;
  +    appConfigFile = "/run/ekklesia-portal/${configFilename}";
       listen = "${cfg.address}:${toString cfg.port}";
       tmpdir = "/tmp";
     };
  
positive.code:   options.services.ekklesia.portal = with lib; {
  
      enable = mkEnableOption "Enable the portal component of the Ekklesia e-democracy platform";
  
      user = mkOption {
        type = types.str;
  
negative.code: 
    config = lib.mkIf cfg.enable {
  
      services.ekklesia.portal.configFile = configInput;
  
      environment.systemPackages = [ ekklesiaPortalConfig ekklesiaPortalShowConfig ];
  
      users.users.ekklesia-portal = { };
  