gwern comments on An anecdote about names