OK the virus thing I said about the Votrax SAPI installer was a false alarm. I did not read the notification when I got it, it actually said

Security scan required. To protect your device, Microsoft Defender Antivirus needs to perform a cloud security scan. The scan could take up to 10 seconds.. . .