Well we can’t really know if those have not leaked before. I imagine that this vulnerability was worth a lot of money, even if is was clear that it would be fix

Well we can’t really know if those have not leaked before. I imagine that this vulnerability was worth a lot of money, even if is was clear that it would be fixed one or two months later. There were too many people involved to think that nobody took the opportunity to sell it to the highest bidder. I personally would have preferred if google kept it in house as long as possible and made sure even at Intel, etc, a very limited amount of people could have seen it. This vulnerability could do a lot of damage if it was given to dangerous people. But you are right it is very impressive that there were almost non public leaks (and the only leak was not more like a slip up which nobody took too serious until the patches were made public). I would not have surprised me if someone posted them and they got picked up. It would have made things a lot worse.