Visualization of a Paxos-based distributed state machine (rystsov.info)