Comment by hot_gril

If this format is reused across many files, they might want to give the contents of those docs in a different format from the original.