Not to confuse: peanuts cannot directly be eaten because of risk of choke, as infants cannot chew them. The advice is to add as ingredient, as e.g. peanut butter.
They were advised against because of the allergy risk, not because of choking hazard. Are you a parent? No shit you don't give hard nuts to a baby with no teeth.