paxos: add notes to version control for sanity