Quick Tip - Split SSH known hosts

The SSH config file .ssh/config allows for multiple known host files, i.e:

Host *
  UserKnownHostsFile ~/.ssh/known_hosts ~/.ssh/known_hosts_managed

This is a convenient way to have .ssh/known_hosts_managed be provisioned by e.g. chezmoi while still allowing for locally managed entries in .ssh/known_hosts.