I have had fantasies in which I run amok with a red Sharpie, fixing the world’s typos. I even had a character in a story do just that. Hats off to the copy editor who has taken it upon himself to wield that red (or black, as the case may be) pen.