Ah, so Raft is what everyone uses, and Paxos is used by the very big providers nowadays. Good to know!

I can't find the study any more, though I'm pretty sure I saw it on HN...