The whole ping vs ping6 seems more likely than lazy developers.