let
  # set ssh public keys here for your system and user
  teapot_sys = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIL0SIfZoa02nUXilDdyB5FBBybCv12dfYUh9eCExiPb6 root@teapot";
  mae_teapot = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDi83/SFKQqdJgZLOJDFSkPY8VWAqzV7XX9ZfocbTsfe mae@teapot";
  allKeys = [ teapot_sys mae_teapot ];
in
{
}