I think that the change from "(see [CK01], Definition 1, part 2)." to "(see [CK01]; Definition 1, part 2)." is not correct.
Similarly, I believe that the addition of the marked comma here is in error: "the only requirement from the underlying transport is a reliable, in-order[[[,]]] data stream". (Edit to mark the correct one.)
Not a PR because I'm not sure, but...
I think that the change from "(see [CK01], Definition 1, part 2)." to "(see [CK01]; Definition 1, part 2)." is not correct.
Similarly, I believe that the addition of the marked comma here is in error: "the only requirement from the underlying transport is a reliable, in-order[[[,]]] data stream". (Edit to mark the correct one.)