Reported to Avast. Let’s see if we get a reply as to the status of this problem.