In #879, @rohan-wire proposed a clarification in the protocol overview that the Add and Commit messages don't have to be separate messages. He and I talked offline, and came to a compromise: On the one hand, you always send an Add and a Commit (even if the Add is inlined), but on the other hand, the Add may just be a proposal, not a message. So this PR just changes "Add message" to "Add proposal".
In #879, @rohan-wire proposed a clarification in the protocol overview that the Add and Commit messages don't have to be separate messages. He and I talked offline, and came to a compromise: On the one hand, you always send an Add and a Commit (even if the Add is inlined), but on the other hand, the Add may just be a proposal, not a message. So this PR just changes "Add message" to "Add proposal".