PROTOCOL.md: remove redundant text.