Multi-Paxos in Python, Tested with Jepsen | Hacker News Reader