The files are identical. Diff: rfc9880.original.xml - rfc9880.xml
 rfc9880.original.xml   rfc9880.xml 
 No changes. change blocks. 
lines changed or deleted lines changed or added

This html diff was produced by rfcdiff 1.48.