- State description separated for sender and receiver, with a diagram.

- Clarified timeout behavior when no message.

- Clarified editorial distinction between content and status message.

- Added text on privacy.

- Variety of nits.