@garbados I definitely don't believe humans were involved in choosing his name.