Edit protocol

Make an editing pass on protocol.rst.