C'mon NY Times Editors

From this NY Times article about the JFK files https://www.nytimes.com/2025/03/18/us/politics/national-security-officials-jfk-documents.html

Boldface added to show redundancy

"By Tuesday evening, when about 64,000 files were made public — fewer than Mr. Trump had estimated — some of the country’s top national security officials had spent hours trying to assess any possible hazards under extreme deadline pressure.

By the time the files were made public on Tuesday evening, some of the country’s top national security officials had spent hours trying to assess any possible security hazards under extreme deadline pressure."