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

This html diff was produced by rfcdiff 1.48.