I’m going to make a prediction if they are going to release a list of some sort with names on it:

1. They will redact names by using black highlight using computer software and then destroying the underlying text information by printing it out and scanning it, or something similar. This would prevent the most obvious form of getting around the redaction (which is extracting text information from underneath the highlight).
2. They will make the rookie mistake of using a proportional font like Times New Roman for the names, which is a font wherein each letter has a different length, instead of a monospace font like this one where all characters are the same width.
3. An investigative journalist will notice that one of the redacted names is exactly the same length as “DONALD JOHN TRUMP” typed in the document’s font, and then applied black highlight over it.