Yeah, this vector was avoidable by individuals who had good operational security, but the operation still got addresses for 10K+ individuals: they recorded arou

Yeah, this vector was avoidable by individuals who had good operational security, but the operation still got addresses for 10K+ individuals: they recorded around 27K transactions, so that means over a third of users relied on the built-in PGP tool!