Host codex-devbox
  HostName devbox.example.com
  User dev
  IdentityFile ~/.ssh/id_ed25519_codex
  IdentitiesOnly yes