Как сменить DNS в Windows, и как выбрать наиболее быстрый публичный DNS-сервер (