Very good point. I think my argument still holds for brainstem-layer errors, where I know as I'm pressing the key that it's not what I meant-- it's hard for me to not correct those, anyway.

For the kind of typos that you would need to be watching the output to correct, it totally makes sense to batch those up sometimes.