let
  rpi4-key = "<content of /etc/ssh/ssh_host_ed25519_key.pub on the rpi4>";
  myKey = "<my ssh pub key>";

  keys = [rpi4-key myKey];
in {
  "wifi.age".publicKeys = keys;
}