Here is a much better summary of what happened from Boaz Barak:

https://mobile.twitter.com/boazbaraktcs/status/1511366075035...