Software developer Hal Finney was a privacy activist — he was a key developer of PGP, the world’s most-used encryption program for email, and he made crucial refinements to bitcoin digital ...