{
  description = "sea.fudo.org experiment server.";
  docker-server = true;
  # ssh-fingerprints = [
  #   "1 1 01c67478e2cc7a386a2468adb9d4627a53d69af5"
  #   "1 2 750bc70f88a6c774077f20603a143b9f07436d9d074af78875850ae4df8971eb"
  #   "4 1 fdb3da40dc48540a3f5644e360db9225a584f64e"
  #   "4 2 310115023c1f98ae88ac94eb38dd529352f3036048d72c87e87c0ab53f186438"
  # ];
  rp = "niten";
  admin-email = "niten@fudo.org";
  domain = "sea.fudo.org";
  site = "seattle";
  profile = "server";
  # ssh-pubkey =
  #   "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPB5JY6jnHCRLxjqWKYkK8Xpmfyq2nA+0noPazYGd9a+";
  master-key = {
    public-key =
      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOBr+kFxYjFp/BoaKT2SPV7aVTEspY/7bQ5RycElczGg";
    key-path = "/state/master-key/key";
  };
  enable-gui = false;
  arch = "x86_64-linux";
  nixos-system = true;
  machine-id = "c031cda2e88a4cedb3b22f41f9042646";
  # initrd-ip = "10.0.5.11";
  hardened = true;
}