Merge branch `demarius` into `gh-pages`.
Working on libpaxos description.
Libpaxos.txt.