Re: Best practices inquiry: tracking SSH host keys