tree 6cb46525dd14f06a6ca68c544411097692e7dbbd
parent e5b2739ed8dedd8f20c8ad033917ed07d07c7cb4
author Nate Bosch <nbosch@google.com> 1621469282 -0700
committer GitHub <noreply@github.com> 1621469282 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJgpahiCRBK7hj4Ov3rIwAAoSEIACG+3Rvv57IEY+JXYasoTG2O
 yQFlEEyWNccjRQ+tr8r1MIu3o8r0nVXl6MTpQ1dZ4cJbYY+siRuKmG13XeXfzyv0
 yJ/tG+iLJY1zn3e1sffHn+9KYNnNV8h127Dr0/95FzqWEB4onYY5TRVnqQ2eJN8s
 wPpmyfwb6jcr405CQ3Kk5vNOLVA+9vJ714qVJx1GKM2C2TdZXuP20trdpA0Pm38t
 Gyxl+6TKIHBFuRIiPChWkMBg3OBa68krgg8AB4bHZFMBI4IAZ5Uj3cTdEZflJYmN
 8Fl6DipxvyB5QDYUIRy7XKBvHqbrQLHiP/CErON7IxA1YR8Y/RcNscE4tlZ69ks=
 =sNT1
 -----END PGP SIGNATURE-----
 

Tweak the phrasing for doc on file reporters (#1522)

Towards #1521

The argument causes an output to a file in _addition_ to the output on
stdout. Avoid the word "instead" to avoid confusion that this argument
disables reporting on stdout.