To be fair, the bug report is against a type of software that is famously stochastic and unreproducible.