Многие сервисы (например, GitHub) используют широкий диапазон IP-адресов и, очевидно, один и тот же открытый ключ. Как добавить диапазон IP (желательно один) в файл known_hosts? Для примера GitHub он использует следующие диапазоны: 207.97.227.224/27 173.203.140.192/27 204.232.175.64/27...