Observations 2019-10-05 Using Gmail’s “undo send” feature for the first time — to correct the spelling of my own name.