[PATCH v4 01/10] btrace: Introduce auxiliary instructions.

[Eli Zaretskii]

> Date: Fri,  6 May 2022 13:40:01 +0200
> From: Felix Willgerodt via Gdb-patches <gdb-patches@sourceware.org>
> 
> diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
> index 38ad2ac32b0..ec45055e914 100644
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -7485,6 +7485,10 @@ Moxie, PowerPC, PowerPC64, S/390, and x86 (i386/amd64) running
>  GNU/Linux.  Process record and replay can be used both when native
>  debugging, and when remote debugging via @code{gdbserver}.
>  
> +When recording an inferior, @value{GDBN} may print additional auxiliary
> +information during stepping commands and commands displaying the execution
> +history.
> +

I wonder why we need this addition.  What is the significance of
mentioning this factoid in the manual at that place?

Thanks.