Michael Richardson added formatted txt file for rfcdiff