Very likely. I think it's a good deletion, and I'm not surprised that Doc did it. ) I would probably have deleted if I had not already been involved in protecting the article at the last space and if it were a little more clearly in vio of BLP. Like you, I didn't see it as speediable. (Even in google news, the name hits 11 right now. On the web, it's got 29,600. But I don't believe Wikipedia should be contributing to it, and I applaud you for ferreting it out to begin with and Doc for flushing it.  (talk)