Best practices inquiry: tracking SSH host keys