So, the fact that there's basically no mention of this anywhere online that I can find (well, not easily anyway) concerns me. I suggest you do NOT ignore the warning, and instead delete that download and d/l it again fresh -- but don't do it through Tor. Just do it from your usual web browser.Yes, the Tor project d/l server will have your IP, along with a ton of other people. Should be fine, and in this instance, it almost seems like a malicious exit node altered the download and inserted a virus. Yes, that's possible. No, I've never heard of it happening before.You could also verify the signature, but that's... not as easy. Yeah, nevermind. Just d/l it again.