Trump's name will be redacted, but I imagine people will figure out where it goes. (If he's the only one redacted, for example, it'll be very easy. Do you suppose they'd be so obvious?)