This is an old revision of the document!
Example: RFC4254
-- OLD <format> <file-format>ASCII</file-format> <char-count>50338</char-count> <page-count>24</page-count> </format> <format> <file-format>HTML</file-format> </format> -- NEW <format> <file-format>TEXT</file-format> <file-format>HTML</file-format> </format> <page-count>24</page-count>
For comparison, the JSON record includes (among other data):
"format":["ASCII","HTML"],"page_count":"24"
Example: RFC8888 (v3 era)
-- NEW <format> <file-format>TEXT</file-format> <file-format>HTML</file-format> <file-format>PDF</file-format> <file-format>XML</file-format> </format> <page-count>48</page-count>
For comparison, the JSON record would include (among other data):
"format":["TEXT","HTML","PDF","XML"],"page_count":"48"