GiveWell comments on Is GiveWell underestimating the health value of lead eradication?