4 ms·

I think the diffs are evidence for the author's claim that the retyping would be a relatively easy job.