Yes, I did verify the file. That took some doing, the process was definitely outside my base tech skill-level. But as far as I can recall, I was able to verify correctly.
But that process didn’t do a whole heck of a lot to reassure me (involving installing other files to verify), and ultimately, doesn’t guarantee the .exe isn’t infected. It does ensure I have the correct actual whonix file and not some substitute installer, and so then…sure, greatly reduces the likelihood that this was a true positive.
But still… this is a privacy application, so it’s important to get it right.
I’m in the process of having Avira verify the file, and perhaps I’ll try to run the verification process again. If I have any questions about that (and I will), I’ll post again here.
Although, am taking a vacation in a couple days, so this might be delayed a bit.