he
        summary is.  If the verbosity is not specified, then the
        DocTestRunner's verbosity is used.
        Nr"