Ver.20.7.12 を提供元サイトからDL しようとしたら、WindowsDefender が反応。
TE64.exe に重大な脅威を含むとの検知内容なので、今回更新は見送ることにして、
Soft Pedia から入手したVer.20.7.11 を当面は使用することにしました。

【追記】2020年07月12日 16時10分
提供元サイトでは、DL 画面に「ウイルススキャン」ボタンがあります。
そのボタンを押下すると、Virus Total でスキャンされ結果表示します。
Virus Total でのスキャン結果は、「脅威検出ゼロ」となっております。

【追記2】2020年07月12日 16時37分
Microsoft Defender Antivirus 定義ファイル更新にて、DL 可能になりました。
なお、上記の投稿時に「WindowsDefender」と記述していました。
定義ファイルのバージョンは、次のとおりです。
Ver.1.319.1263.0 ・・・・ DL 時に脅威検出
Ver.1.319.1306.0 ・・・・ DL 時に問題なし