diff --git a/config/host-config/procul.nix b/config/host-config/procul.nix
new file mode 100644
index 0000000..28178bb
--- /dev/null
+++ b/config/host-config/procul.nix
@@ -0,0 +1,229 @@
+{ config, lib, pkgs, ... }:
+
+with lib;
+let
+  hostname = "procul";
+  host-ipv4 = "172.86.179.18";
+  domain = config.fudo.hosts.${hostname}.domain;
+  site = config.fudo.hosts.${hostname}.site;
+  host-fqdn = "${hostname}.${domain}";
+
+  local-networks = config.fudo.domains.${domain}.local-networks
+    ++ config.fudo.sites.${site}.local-networks;
+
+  acme-private-key = hostname: "/var/lib/acme/${hostname}/key.pem";
+  acme-certificate = hostname: "/var/lib/acme/${hostname}/fullchain.pem";
+  acme-ca = "/etc/nixos/static/letsencryptauthorityx3.pem";
+
+  local-packages = with pkgs; [ ldns.examples ];
+
+in {
+  networking = {
+    dhcpcd.enable = false;
+    useDHCP = false;
+
+    enableIPv6 = true;
+
+    # FIXME: this isn't the right place
+    search = [ domain ];
+    nameservers = [ "127.0.0.1" ];
+    defaultGateway = "172.86.179.17";
+
+    interfaces = {
+      extif0 = {
+        ipv4.addresses = [{
+          address = host-ipv4;
+          prefixLength = 29;
+        }];
+      };
+    };
+  };
+
+  environment.systemPackages = local-packages;
+
+  networking.firewall.allowedTCPPorts = [ 80 443 ];
+
+  users.users = {
+    gituser = {
+      isSystemUser = true;
+      group = "nogroup";
+    };
+  };
+
+  fudo = {
+    client.dns = {
+      enable = true;
+      ipv4 = true;
+      ipv6 = true;
+      user = "fudo-client";
+      external-interface = "extif0";
+      password-file = "/srv/client/secure/client.passwd";
+    };
+
+    auth.kdc = {
+      enable = true;
+      realm = "INFORMIS.LAND";
+      bind-addresses = [ host-ipv4 "127.0.0.1" ];
+      acl = {
+        "niten" = { perms = [ "add" "change-password" "list" ]; };
+        "*/root" = { perms = [ "all" ]; };
+      };
+    };
+
+    secure-dns-proxy = {
+      enable = true;
+      upstream-dns =
+        [ "https://1.1.1.1/dns-query" "https://1.0.0.1/dns-query" ];
+      bootstrap-dns = "1.1.1.1";
+      listen-ips = [ "127.0.0.1" ];
+      listen-port = 53;
+      allowed-networks = [ "1.1.1.1/32" "1.0.0.1/32" "localhost" "link-local" ];
+    };
+
+    # networks."informis.land" = {      
+    #   hosts = {
+    #     procul = {
+    #       ipv4-address = host-ipv4;
+    #     };
+    #   };
+      
+    #   verbatim-dns-records = [
+    #     ''_kerberos IN TXT "INFORMIS.LAND"''
+    #     ''@ IN TXT "v=spf1 mx ip4:${host-ipv4}/29 -all"''
+    #     ''@ IN SPF "v=spf1 mx ip4:${host-ipv4}/29 -all"''
+    #   ];
+    # };
+
+    dns = {
+      enable = true;
+      identity = "procul.informis.land";
+      nameservers = {
+        ns1 = {
+          ipv4-address = host-ipv4;
+          description = "Primary Informis Nameserver";
+        };
+        ns2 = {
+          ipv4-address = host-ipv4;
+          description = "Secondary Informis Nameserver";
+        };
+      };
+
+      listen-ips = [ host-ipv4 ];
+
+      domains = {
+        "informis.land" = {
+          dnssec = true;
+          default-host = host-ipv4;
+          gssapi-realm = "INFORMIS.LAND";
+          mx = [ "smtp.informis.land" ];
+          network-definition = config.fudo.networks."informis.land";
+          dmarc-report-address = "dmarc-report@informis.land";
+        };
+      };
+    };
+
+    mail-server = {
+      enable = true;
+      debug = true;
+
+      domain = domain;
+      hostname = "${host-fqdn}";
+      monitoring = false;
+      mail-user = "mailuser";
+      mail-user-id = 525;
+      mail-group = "mailgroup";
+      clamav.enable = true;
+      dkim.signing = true;
+
+      dovecot = {
+        ssl-certificate = acme-certificate "imap.${domain}";
+        ssl-private-key = acme-private-key "imap.${domain}";
+      };
+
+      postfix = {
+        ssl-certificate = acme-certificate "smtp.${domain}";
+        ssl-private-key = acme-private-key "smtp.${domain}";
+      };
+
+      # This should NOT include the primary domain
+      local-domains = [
+        host-fqdn
+        "smtp.${domain}"
+      ];
+
+      mail-directory = "/srv/mailserver/mail";
+      state-directory = "/srv/mailserver/state";
+
+      trusted-networks = [
+        "172.86.179.16/29"
+        "127.0.0.0/16"
+      ];
+
+      alias-users = {
+        root         = ["niten"];
+        postmaster   = ["niten"];
+        hostmaster   = ["niten"];
+        webmaster    = ["niten"];
+        system       = ["niten"];
+        admin        = ["niten"];
+        dmarc-report = ["niten"];
+      };
+    };
+
+    postgresql = {
+      enable = true;
+      ssl-certificate = (acme-certificate host-fqdn);
+      ssl-private-key = (acme-private-key host-fqdn);
+      keytab = "/srv/postgres/secure/postgres.keytab";
+      local-networks = local-networks;
+
+      users = {
+        gituser = {
+          password-file = "/srv/git/secure/db.passwd";
+          databases = {
+            git = {
+              access = "CONNECT";
+              entity-access = {
+                "ALL TABLES IN SCHEMA public" = "SELECT,INSERT,UPDATE,DELETE";
+                "ALL SEQUENCES IN SCHEMA public" = "SELECT, UPDATE";
+              };
+            };
+          };
+        };
+      };
+
+      databases = { git = { users = [ "niten" ]; }; };
+    };
+
+    git = {
+      enable = true;
+      hostname = "git.informis.land";
+      site-name = "informis git";
+      user = "gituser";
+      # admin-email = "viator@informis.land";
+      repository-dir = /srv/git/repo;
+      state-dir = /srv/git/state;
+      database = {
+        user = "gituser";
+        password-file = /srv/git/secure/db.passwd;
+        hostname = "127.0.0.1";
+        name = "git";
+      };
+      ssh = {
+        listen-ip = host-ipv4;
+        listen-port = 2222;
+      };
+    };
+
+    acme = {
+      enable = true;
+      admin-address = "admin@${domain}";
+      hostnames = [
+        "informis.land"
+        "imap.informis.land"
+        "smtp.informis.land"
+        "gemini.informis.land"
+      ];
+    };
+  };
+}
diff --git a/config/networks.nix b/config/networks.nix
index ce7c00c..20ccb44 100644
--- a/config/networks.nix
+++ b/config/networks.nix
@@ -4,5 +4,6 @@
   config.fudo.networks = {
     "rus.selby.ca" = import ./networks/rus.selby.ca.nix { inherit config lib; };
     "sea.fudo.org" = import ./networks/sea.fudo.org.nix { inherit config lib; };
+    "informis.land" = import ./networks/informis.land.nix { inherit config lib; };
   };
 }
diff --git a/config/networks/informis.land.nix b/config/networks/informis.land.nix
new file mode 100644
index 0000000..c48d139
--- /dev/null
+++ b/config/networks/informis.land.nix
@@ -0,0 +1,91 @@
+{ config, lib, ... }:
+
+with lib;
+{
+  mx = [ "smtp.informis.land" ];
+
+  aliases = {
+    smtp   = "procul.informis.land.";
+    imap   = "procul.informis.land.";
+    gemini = "procul.informis.land.";
+    git    = "procul.informis.land.";
+  };
+
+  verbatim-dns-records = let
+    domain-name = config.fudo.hosts.${config.instance.hostname}.domain;
+    # NOTE: we're assuming IPv4...
+    domain-local-nets = map (network: "ip4:${network}") config.fudo.domains.${domain-name}.local-networks;
+    local-net-string = concatStringsSep " " domain-local-nets;
+  in [
+    ''@ IN TXT "v=spf1 mx ${local-net-string} -all"''
+    ''@ IN SPF "v=spf1 mx ${local-net-string} -all"''
+  ];
+
+  srv-records = {
+    tcp = {
+      domain = [{
+        host = "ns1.informis.land";
+        port = 53;
+      }];
+      ssh = [{
+        host = "procul.informis.land";
+        port = 22;
+      }];
+      submission = [{
+        host = "procul.informis.land";
+        port = 587;
+      }];
+      kerberos = [{
+        host = "procul.informis.land";
+        port = 88;
+      }];
+      kerberos-adm = [{
+        host = "procul.informis.land";
+        port = 749;
+      }];
+      imaps = [{
+        host = "procul.informis.land";
+        port = 993;
+        priority = 0;
+      }];
+      pop3s = [{
+        host = "procul.informis.land";
+        port = 995;
+        priority = 10;
+      }];
+      http = [{
+        host = "procul.informis.land";
+        port = 80;
+      }];
+      https = [{
+        host = "procul.informis.land";
+        port = 443;
+      }];
+    };
+
+    udp = {
+      domain = [{
+        host = "ns1.informis.land";
+        port = 53;
+      }];
+      kerberos = [{
+        host = "procul.informis.land";
+        port = 88;
+      }];
+      kerberos-master = [{
+        host = "procul.informis.land";
+        port = 88;
+      }];
+      kpasswd = [{
+        host = "procul.informis.land";
+        port = 464;
+      }];
+    };
+  };
+  
+  hosts = {
+    procul = {
+      ipv4-address = "172.86.179.18";
+    };
+  };
+}
diff --git a/lib/fudo/dns.nix b/lib/fudo/dns.nix
index 346dc72..74967c6 100644
--- a/lib/fudo/dns.nix
+++ b/lib/fudo/dns.nix
@@ -26,18 +26,42 @@ let
         type = submodule (import ../types/network-definition.nix);
         description = "Definition of network to be served by local server.";
       };
+
+      default-host = mkOption {
+        type = str;
+        description = "The host to which the domain should map by default.";
+      };
+
+      mx = mkOption {
+        type = listOf str;
+        description = "The hosts which act as the domain mail exchange.";
+        default = [];
+      };
+
+      gssapi-realm = mkOption {
+        type = nullOr str;
+        description = "The GSSAPI realm of this domain.";
+        default = null;
+      };
     };
   };
 
-  hostRecords = host: data:
-    join-lines
-    ((optional (data.ipv4-address != null) "${host} IN A ${data.ipv4-address}")
-      ++ (optional (data.ipv6-address != null)
-        "${host} IN AAAA ${data.ipv6-address}")
-      ++ (map (sshfp: "${host} IN SSHFP ${sshfp}") data.ssh-fingerprints)
-      ++ (optional (data.rp != null) "${host} IN RP ${data.rp}")
-      ++ (optional (data.description != null)
-        "${host} IN TXT ${data.description}"));
+  networkHostOpts = import ../types/network-host.nix { inherit lib; };
+
+  hostRecords = hostname: nethost-data: let
+    # FIXME: RP doesn't work.
+    # generic-host-records = let
+    #   host-data = if (hasAttr hostname config.fudo.hosts) then config.fudo.hosts.${hostname} else null;
+    # in
+    #   if (host-data == null) then [] else (
+    #     (map (sshfp: "${hostname} IN SSHFP ${sshfp}") host-data.ssh-fingerprints) ++ (optional (host-data.rp != null) "${hostname} IN RP ${host-data.rp}")
+    #   );
+    sshfp-records = if (hasAttr hostname config.fudo.hosts) then (map (sshfp: "${hostname} IN SSHFP ${sshfp}") config.fudo.hosts.${hostname}.ssh-fingerprints) else [];
+    a-record = optional (nethost-data.ipv4-address != null) "${hostname} IN A ${nethost-data.ipv4-address}";
+    aaaa-record = optional (nethost-data.ipv6-address != null) "${hostname} IN AAAA ${nethost-data.ipv6-address}";
+    description-record = optional (nethost-data.description != null) "${hostname} IN TXT \"${nethost-data.description}\"";
+  in
+    join-lines (a-record ++ aaaa-record ++ description-record ++ sshfp-records);
 
   makeSrvRecords = protocol: type: records:
     join-lines (map (record:
@@ -58,7 +82,7 @@ let
 
   nsRecords = domain: ns-hosts:
     join-lines
-    (mapAttrsToList (host: _: "@ IN NS ${host}.${domain}.") ns-hosts);
+      (mapAttrsToList (host: _: "@ IN NS ${host}.${domain}.") ns-hosts);
 
 in {
 
@@ -67,12 +91,11 @@ in {
 
     # FIXME: This should allow for AAAA addresses too...
     nameservers = mkOption {
-      type = attrsOf (submodule hostOpts);
+      type = attrsOf (submodule networkHostOpts);
       description = "Map of domain nameserver FQDNs to IP.";
       example = {
         "ns1.domain.com" = {
-          ip-addresses = [ "1.1.1.1" ];
-          ipv6-addresses = [ ];
+          ipv4-address = "1.1.1.1";
           description = "my fancy dns server";
         };
       };
@@ -101,8 +124,9 @@ in {
       enable = true;
       identity = cfg.identity;
       interfaces = cfg.listen-ips;
-      zones = mapAttrs' (dom: dom-cfg:
-        nameValuePair "${dom}." {
+      zones = mapAttrs' (dom: dom-cfg: let
+        net-cfg = dom-cfg.network-definition;
+      in nameValuePair "${dom}." {
           dnssec = dom-cfg.dnssec;
 
           data = ''
@@ -132,10 +156,10 @@ in {
             ${dmarcRecord dom-cfg.dmarc-report-address}
 
             ${join-lines
-            (mapAttrsToList makeSrvProtocolRecords dom-cfg.srv-records)}
-            ${join-lines (mapAttrsToList hostRecords dom-cfg.hosts)}
-            ${join-lines (mapAttrsToList cnameRecord dom-cfg.aliases)}
-            ${join-lines dom-cfg.extra-dns-records}
+            (mapAttrsToList makeSrvProtocolRecords net-cfg.srv-records)}
+            ${join-lines (mapAttrsToList hostRecords net-cfg.hosts)}
+            ${join-lines (mapAttrsToList cnameRecord net-cfg.aliases)}
+            ${join-lines net-cfg.verbatim-dns-records}
           '';
         }) cfg.domains;
     };
diff --git a/lib/fudo/git.nix b/lib/fudo/git.nix
index 68cedac..8b6721e 100644
--- a/lib/fudo/git.nix
+++ b/lib/fudo/git.nix
@@ -93,7 +93,9 @@ in {
   };
 
   config = mkIf cfg.enable {
-    security.acme.certs.${cfg.hostname}.email = config.fudo.common.admin-email;
+    security.acme.certs.${cfg.hostname}.email = let
+      domain-name = config.fudo.hosts.${config.instance.hostname}.domain;
+     in config.fudo.domains.${domain-name}.admin-email;
 
     services = {
       gitea = {
@@ -114,14 +116,19 @@ in {
         stateDir = toString cfg.state-dir;
         rootUrl = "https://${cfg.hostname}/";
         user = mkIf (cfg.user != null) cfg.user;
-        extraConfig = mkIf (cfg.ssh != null) ''
-          [server]
-          START_SSH_SERVER = true
-          SSH_DOMAIN = ${cfg.hostname}
-          SSH_PORT = ${toString cfg.ssh.listen-port}
-          SSH_LISTEN_PORT = ${toString cfg.ssh.listen-port}
-          SSH_LISTEN_HOST = ${cfg.ssh.listen-ip}
-        '';
+        ssh = {
+          enable = true;
+          clonePort = cfg.ssh.listen-port;
+        };
+        # settings = mkIf (cfg.ssh != null) {
+        #   server = {
+        #     START_SSH_SERVER = true;
+        #     SSH_DOMAIN = cfg.hostname;
+        #     SSH_PORT = cfg.ssh.listen-port;
+        #     SSH_LISTEN_PORT = cfg.ssh.listen-port;
+        #     SSH_LISTEN_HOST = cfg.ssh.listen-ip;
+        #   };
+        # };
       };
 
       nginx = {
diff --git a/lib/fudo/mail.nix b/lib/fudo/mail.nix
index 522286d..3748e15 100644
--- a/lib/fudo/mail.nix
+++ b/lib/fudo/mail.nix
@@ -124,28 +124,35 @@ in {
 
         Depending on the mail client used it might be necessary to change some mailbox's name.
      '';
-      default = [
-        {
-          name = "Trash";
-          auto = "no";
+      default = {
+        Trash = {
+          auto = "create";
           specialUse = "Trash";
-        }
-        {
-          name = "Junk";
-          auto = "subscribe";
+          autoexpunge = "30d";
+        };
+        Junk = {
+          auto = "create";
           specialUse = "Junk";
-        }
-        {
-          name = "Drafts";
-          auto = "subscribe";
+          autoexpunge = "60d";
+        };
+        Drafts = {
+          auto = "create";
           specialUse = "Drafts";
-        }
-        {
-          name = "Sent";
+          autoexpunge = "60d";
+        };
+        Sent = {
           auto = "subscribe";
           specialUse = "Sent";
-        }
-      ];
+        };
+        Archive = {
+          auto = "no";
+          specialUse = "Archive";
+        };
+        Flagged = {
+          auto = "no";
+          specialUse = "Flagged";
+        };
+      };
     };
 
     debug = mkOption {
diff --git a/lib/fudo/postgres.nix b/lib/fudo/postgres.nix
index 64dbd12..b975759 100644
--- a/lib/fudo/postgres.nix
+++ b/lib/fudo/postgres.nix
@@ -245,17 +245,17 @@ in {
           ensurePermissions = { "DATABASE ${database}" = "ALL PRIVILEGES"; };
         }) opts.users)) cfg.databases)));
 
-      extraConfig = ''
-        krb_server_keyfile = '/etc/postgresql/private/postgres.keytab'
+      settings = {
+        krb_server_keyfile = "/etc/postgresql/private/postgres.keytab";
 
-        ssl = true
-        ssl_cert_file = '/etc/postgresql/cert.pem'
-        ssl_key_file = '/etc/postgresql/private/privkey.pem'
+        ssl = true;
+        ssl_cert_file = "/etc/postgresql/cert.pem";
+        ssl_key_file = "/etc/postgresql/private/privkey.pem";
 
-        unix_socket_directories = '${cfg.socket-directory}'
-        unix_socket_group = '${cfg.socket-group}'
-        unix_socket_permissions = 0777
-      '';
+        unix_socket_directories = cfg.socket-directory;
+        unix_socket_group = cfg.socket-group;
+        unix_socket_permissions = "0777";
+      };
 
       authentication = lib.mkForce ''
         ${makeLocalUserPasswordEntries cfg.users}
@@ -318,7 +318,7 @@ in {
             ${usersAccessSql cfg.users}
           '';
         in ''
-          ${pkgs.sudo}/bin/sudo -u ${config.services.postgresql.superUser} ${pkgs.postgresql}/bin/psql --port ${
+          ${pkgs.postgresql}/bin/psql --port ${
             toString config.services.postgresql.port
           } -d postgres -f ${extra-settings-sql}
           ${pkgs.coreutils}/bin/chgrp ${cfg.socket-group} ${cfg.socket-directory}/.s.PGSQL*
diff --git a/lib/fudo/secure-dns-proxy.nix b/lib/fudo/secure-dns-proxy.nix
index 9269ed3..d0afd24 100644
--- a/lib/fudo/secure-dns-proxy.nix
+++ b/lib/fudo/secure-dns-proxy.nix
@@ -46,20 +46,49 @@ in {
         "List of networks with which this job is allowed to communicate.";
       default = null;
     };
+
+    user = mkOption {
+      type = str;
+      description = "User as which to run secure DNS proxy.";
+      default = "secure-dns-proxy";
+    };
+
+    group = mkOption {
+      type = str;
+      description = "Group as which to run secure DNS proxy.";
+      default = "secure-dns-proxy";
+    };
   };
 
-  config = mkIf cfg.enable {
-    environment.systemPackages = with pkgs; [ dnsproxy ];
+  config = mkIf cfg.enable (let
+    upgrade-perms = cfg.listen-port <= 1024;
+  in {
+    users = mkIf upgrade-perms {
+      users = {
+        ${cfg.user} = {
+          isSystemUser = true;
+          group = cfg.group;
+        };
+      };
+
+      groups = {
+        ${cfg.group} = {
+          members = [ cfg.user ];
+        };
+      };
+    };
 
     fudo.system.services.secure-dns-proxy = {
       description = "DNS Proxy for secure DNS-over-HTTPS lookups.";
       wantedBy = [ "multi-user.target" ];
       after = [ "network.target" ];
       privateNetwork = false;
-      requiredCapabilities = [ ];
+      requiredCapabilities = mkIf upgrade-perms [ "CAP_NET_BIND_SERVICE" ];
       restartWhen = "always";
       addressFamilies = [ "AF_INET" "AF_INET6" ];
       networkWhitelist = cfg.allowed-networks;
+      user = mkIf upgrade-perms cfg.user;
+      group = mkIf upgrade-perms cfg.group;
 
       execStart = let
         upstreams = map (upstream: "-u ${upstream}") cfg.upstream-dns;
@@ -70,5 +99,5 @@ in {
         toString cfg.listen-port
       } ${upstream-line} ${listen-line} -b ${cfg.bootstrap-dns}";
     };
-  };
+  });
 }
diff --git a/lib/types/network-definition.nix b/lib/types/network-definition.nix
index 9e2b88d..e3b9599 100644
--- a/lib/types/network-definition.nix
+++ b/lib/types/network-definition.nix
@@ -31,35 +31,7 @@ let
     };
   };
 
-  networkHostOpts = { hostname, ... }: {
-    options = with types; {
-      hostname = mkOption {
-        type = str;
-        description =
-          "Hostname (which may map to a host in config.fudo.hosts).";
-        default = hostname;
-      };
-
-      ipv4-address = mkOption {
-        type = nullOr str;
-        description = "The V4 IP of a given host, if any.";
-        default = null;
-      };
-
-      ipv6-address = mkOption {
-        type = nullOr str;
-        description = "The V6 IP of a given host, if any.";
-        default = null;
-      };
-
-      mac-address = mkOption {
-        type = nullOr types.str;
-        description =
-          "The MAC address of a given host, if desired for IP reservation.";
-        default = null;
-      };
-    };
-  };
+  networkHostOpts = import ./network-host.nix { inherit lib; };
 
 in {
   options = with types; {
diff --git a/lib/types/network-host.nix b/lib/types/network-host.nix
new file mode 100644
index 0000000..ce7518f
--- /dev/null
+++ b/lib/types/network-host.nix
@@ -0,0 +1,32 @@
+{ lib, ... }:
+
+{ hostname, ... }:
+with lib;
+{
+  options = with types; {
+    ipv4-address = mkOption {
+      type = nullOr str;
+      description = "The V4 IP of a given host, if any.";
+      default = null;
+    };
+
+    ipv6-address = mkOption {
+      type = nullOr str;
+      description = "The V6 IP of a given host, if any.";
+      default = null;
+    };
+
+    mac-address = mkOption {
+      type = nullOr types.str;
+      description =
+        "The MAC address of a given host, if desired for IP reservation.";
+      default = null;
+    };
+
+    description = mkOption {
+      type = nullOr str;
+      description = "Description of the host.";
+      default = null;
+    };
+  };
+}