3 ms·

My quick calc showed that's roughly one guy redacting 2.8 pages per hour. I know people who'd LOVE that job.