[ttybird2]

Same keys, servers and clients will keep using their ed25519 keys for authenticating each other, the keys for the key exchange are negotiated on login.

[sz3]

Huh! Thanks for the correction.

That makes a lot of sense -- I have some more reading to do...