Unsealed Lavabit docs show that Feds demanded SSL keys

“To make use of these keys, the FBI would have to manually input all 2,560 characters, and one incorrect keystroke in this laborious process would render the FBI collection system incapable of collecting decrypted data”

Surely it would be trivial to OCR that?