That's one interpretation, but I certainly wouldn't have used the phrasing he did if I meant to convey that meaning.
When think "A name for children," I think of variations on ordinary names which people usually grow out of, like "Timmy."
No I meant it like you interpreted it, "Timmy" and "Benny" are names that you would clearly associate with children rather than adults. And my impression is that Kevin is also in that category, though perhaps it's not as extreme a case as those two names. I never understood why parents would call their son Benny, why not officially call him Ben and use Benny in the family as long as he's a kid and doesn't mind?
No one ever heard of Benny the mighty conquerer or Benny the badass CEO. Benny is a cute name, not a serious name for a grown ma...
Thus spake Eliezer:
It seems that many here might have outlandish ideas for ways of improving our lives. For instance, a recent post advocated installing really bright lights as a way to boost alertness and productivity. We should not adopt such hacks into our dogma until we're pretty sure they work; however, one way of knowing whether a crazy idea works is to try implementing it, and you may have more ideas than you're planning to implement.
So: please post all such lifehack ideas! Even if you haven't tried them, even if they seem unlikely to work. Post them separately, unless some other way would be more appropriate. If you've tried some idea and it hasn't worked, it would be useful to post that too.