IRS raids a cypherpunk