(11.6) "NOPs are not reported to the user, whether used per-datagram or per-fragment (as defined in Section 11.4)."
I think this is a cut-and-paste error.
I agree. That text is already in Section 11.2. No Operation (NOP), which is where it belongs. It is out-of-place here, especially if it implies that NOPs (or other options not reported to the user) are to be excluded from the value of MRDS size (they should not be, see Issue #54).
In https://mailarchive.ietf.org/arch/msg/tsvwg/dxL8px2Gri30qw2xTBes5UQohM4/, Martin Duke wrote:
I agree. That text is already in Section 11.2. No Operation (NOP), which is where it belongs. It is out-of-place here, especially if it implies that NOPs (or other options not reported to the user) are to be excluded from the value of MRDS size (they should not be, see Issue #54).