I’m “struggling to keep up” in terms of understanding. However I’ll try by saying those links both of you provided seem to conclude there is no problem with the site or the file, and Avast incorrectly identified the download. Ie; its a false positive and shortly an updated virus definition will solve Avast’s problem.

Is this correct, yes/no?