Thus without the technical details we cannot verify his claims. We also cannot scramble to look through the codebase any more than we have been doing, it is a relatively large codebase and working through it has taken time and will continue to take time.
That is why fixing the anonymity amplification is an other vector we can pursue. At least we can see and measure that now.
And that is why my contribution may have been so valuable (still to be determined).