Those are just the data races they found, though. There are quite likely many more.