Redacting a paper document can be done by cutting out the text to be redacted or using opaque tape to cover the redacted sections. The redaction of electronic filings, however, is more complicated.

The ongoing federal investigation into former President Donald Trump's alleged retention and mishandling of classified documents after leaving office took on a new air of urgency this week. An ...