Designing for Understandability: The Raft Consensus Algorithm (John Ousterhout) · Ahura