gen .txt file from .xml via xml2rfc tools