`rustc --print=foo=file` is not documented in `rustc --help -v`

[RalfJung]

I recently learned from @Urgau that one can use something like rustc --print=cfg=file.txt to have rustc dump the output into a file rather than to stdout. This is mentioned in the rustc book but should also be documented in rustc --help -v.