[jggimi]

And to elaborate slightly, after this public release of allegations (released by Theo, by the way) an audit of implicated code was performed. Through this additional scrutiny an unrelated crypto bug (or two) was (were) found and corrected.