Mixminion is abandoned, so I wouldn't use it for anything other than research purposes. You should be verifying signatures of important software like this anyw

Mixminion is abandoned, so I wouldn't use it for anything other than research purposes. You should be verifying signatures of important software like this anyway, not relying on HTTPS to give you a trustworthy download.