The binaries have been downloaded in 2023 summer and autumn from various places without checking the downloaded binaries for malware. There was an effort to download the binaries from original authors'/publishers' web sites, but if the original publishing web site could not be found or it lacked sufficiently old versions, then almost any random download site was used.