Build #214:   update doc on branch protocol-completeness about 8 years ago