How Tezos Was Ahead of the Proof-of-Stake Merge: Web Summit 2022