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

This html diff was produced by rfcdiff 1.48. The latest version is available from http://tools.ietf.org/tools/rfcdiff/