They were aware of their bug, thought they had it fixed in 4.0.1 and then opted to recklessly take the chance on the numbers.
1. Maybe they thought too few actually generated seeds with 4.0.0
2. Maybe they thought many of them used good pasphrases anyway
3. Maybe they thought most big hodlers alrea...