t / t5100 / msg0009on commit progress: simplify "delayed" progress API (8aade10)
   1This is to fix diff-format documentation.
   2