For anyone who wasn’t aware as well, Trump is apparently named 600 times in the documents. It’s just been redacted but they messed it up somehow (on purpose? Can’t say, but it’s weird they forgot how to redact a document in Adobe Acrobat) and you can copy paste the redacted text just fine. If you search for “Trump” it won’t return anything but searching for "Trump " or copy-pasting the redacted text yields >600 results

Or so says twitter at least