I’m not sure what happened. I must have inadvertantly made the gesture that means “select the entire text and then paste”. Whatever. The gesture that I thought means “undo” doesn’t seem to do anything. I’m not really a gestures type of guy. Even less so after this ☹️