Cool. Is the consensus algorithm straight-up Paxos, or are there modifications? The Paxos Made Live [1] paper from Google raised some interesting issues.

[1] http://labs.google.com/papers/paxos_made_live.html