> However the bug is quite subtle and unlikely to occur in practice, Unlikely to occur? Do you think that will put the naysayers at ease? > , and from your co

> However the bug is quite subtle and unlikely to occur in practice, Unlikely to occur? Do you think that will put the naysayers at ease? > , and from your comment I suspect you don’t actually know what that problem is (because you seem to be pointing at a different issue which is actually irrelevant). Maybe you or someone else can describe what the real concern is? Amazing that people have the patience for this.