"if they were mostly written by his secretary then Stanford wouldn't have paid to have them archived." - that is straight-up incorrect. Archiving emails is very cheap. And the redactions look to have been done programmatically.
C.f.: https://github.com/search?q=repo%3AePADD%2Fepadd++knuth&type...