Update design docs for soledad splitted sync (#5517).