MixedNuts comments on An anecdote about names