Неймсервера Hurricane Electric

Не пингуются ns2.he.net и ns3.he.net по IPv4 (Москва, Ростелеком). Аналогичные результаты на Билайне, а на МТС всё работает. С другими неймсерверами (ns1, ns4, ns5) проблем нет. При этом в реестре ничего найти не смог
(Заметил это в связи с тем, что где-то месяц назад отвалилось автопродление SSL-сертификатов по ACME, так что видимо проблема наблюдается около месяца)