{...}: let
  extraWkdSettings = {
    locations."/.well-known/openpgpkey/hu/".extraConfig = ''
      default_type application/octet-stream;

      # Came from: https://www.uriports.com/blog/setting-up-openpgp-web-key-directory/
      # No idea if it is actually necessary
      # add_header Access-Control-Allow-Origin * always;
    '';
  };
in [
  {
    domain = "vhack.eu";
    root = "/etc/nginx/websites/vhack.eu";
    url = "https://codeberg.org/vhack.eu/website.git";
  }
  {
    domain = "b-peetz.de";
    root = "/etc/nginx/websites/b-peetz.de";
    url = "https://codeberg.org/bpeetz/b-peetz.de.git";
  }

  # Trinitrix
  {
    domain = "trinitrix.vhack.eu";
    # FIXME(@bpeetz): Remove the need for this pointless path.  <2024-05-25>
    root = "/etc/nginix/websites/trinitrix.vhack.eu";
    url = "https://codeberg.org/trinitrix/website.git";
  }

  # WKD
  {
    domain = "openpgpkey.b-peetz.de";
    root = "/etc/nginx/websites/openpgpkey.b-peetz.de";
    url = "https://codeberg.org/vhack.eu/gpg_wkd.git";
    extraSettings = extraWkdSettings;
  }
  {
    domain = "openpgpkey.s-schoeffel.de";
    root = "/etc/nginx/websites/openpgpkey.s-schoeffel.de";
    url = "https://codeberg.org/vhack.eu/gpg_wkd.git";
    extraSettings = extraWkdSettings;
  }
  {
    domain = "openpgpkey.vhack.eu";
    root = "/etc/nginx/websites/openpgpkey.vhack.eu";
    url = "https://codeberg.org/vhack.eu/gpg_wkd.git";
    extraSettings = extraWkdSettings;
  }
]