{
  dgn-redirections = {
    redirections = {
      "www.lanuit.ens.fr" = "lanuit.ens.fr";
      "lanuit.ens.psl.eu" = "lanuit.ens.fr";
      "www.lanuit.ens.psl.eu" = "lanuit.ens.fr";
    };
  };
}