The Informal Blog - Espresso HotShot Epoch Changes in Quint