Paxos is more interesting on larger graph
Make edges less visible
Add demo shortcuts