Updates to the "sync protocol" document.