let
  rhea-laptop = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJynM8SLRXRrfGRJd43T4wabsOHFcWeeuTym9h7vl7Io";
  systems = [ rhea-laptop ];
in
{
  "gh_argstr.age".publicKeys = [ rhea-laptop ];
  "gh_token.age".publicKeys = [ rhea-laptop ];
  "1bvps.age".publicKeys = [ rhea-laptop ];
  "gcd_etwas.age".publicKeys = [ rhea-laptop ];
  "sign_etwas.age".publicKeys = [ rhea-laptop ];
}