Various `protocol.md` improvements