There is at least one document among the files currently released in which redacted text can be viewed through copy and paste ...
There was no proof the DOJ redacted the document after posting it. In fact, there was a copy of it on the DOJ website that didn't redact Trump's name.