On-topic: And that's just the sort of copy-editing that would end up being done by (unpaid) reviewers and not the paid copy-editors.

(Thank you, by the way.)