Remove the bug about rand() being faster. Add a bug about historical implementations seeding very poorly.