On the site about trusting the tails key, there is a lot of information about verifying that you have downloaded the genuine Tails signing key. I was wondering whether this paranoia is justified. To ask specifically:
- As far as is known, has anyone ever hacked the tails website in general, and particularly has anyone edited the key maliciously to fool people?
- Are there any recorded cases of someone being the victim of a man-in-the-middle attack while downloading the tails key?
- Are there any known malicious versions of tails that have some key associated with them?
(for the record, my download of the key is here: http://pastebin.com/vdXiW9Vz. If that's not the real one, tell me :)