[dragonwriter]

That's not a redaction (these kind of pseudonyms in court filings are different from redactions and are often more about avoiding formal direct statements associating an entity than about secrecy, and are often easily penetrated—e.g., "Individual-1" in the Michael Cohen case), and while one might infer from the interaction of the subject with an SVR TOR server that Foreign Country-1 is likely to be Russia, there is nothing in the affidavit that asserts that the TOR server in question was operated by Foreign Country-1.