The files are identical. Diff: rfc9871].original - rfc9871].txt
 rfc9871].original   rfc9871].txt 
 No changes. change blocks. 
lines changed or deleted lines changed or added

This html diff was produced by rfcdiff 1.48.