Old SSH keys from server migration. TODO: rotate and delete.
