t / t5100 / msg0009on commit branch: use write_file_buf instead of write_file (7eb6e10)
   1This is to fix diff-format documentation.
   2