info-xref-with-output
info-xref-with-output is a Lisp macro in `info-xref.el
'.
(info-xref-with-output &rest BODY)
Run BODY with an info-xref output buffer.
This is meant to nest, so you can wrap it around a set of
different info-xref checks and have them write to the one output
buffer created by the outermost `info-xref-with-output', with an
overall good/bad count summary inserted at the very end.