回避策

[システム環境設定] - [ネットワーク] - [詳細] - [DNS] - [DNSサーバー]の[+] - [8.8.8.8]を入力して[OK] - [適用]

[8.8.8.8] は Google の無料パブリック DNS サービス「Google Public DNS」のアドレスです。

ファイルのダウンロードが完了したら、DNS の設定を元に戻して OK 。

元に戻すには [8.8.8.8] を選択して [ - ] を押すだけ。