t / t5100 / msg0009on commit verify_filename(): ask the caller to chose the kind of diagnosis (023e37c)
   1This is to fix diff-format documentation.
   2