TIL: SSH has an implemented (for ~5 years) mechanism to rotate host-keys which is enabled on client-side by default and allows to replace the hosts ssh-keys without confusing the user…
"Host-key rotation and more in OpenSSH 6.8"
"ssh_config(5) — Linux manual page"
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!