doc/protocol.md: better formatting.