The Informal Blog - Understanding Mysticeti Consensus with Quint