HomeIsabelle/Phabricator

clarified inlined protocol messages;