> -                                how you can copy and share GDB
> +                                how you can copy and share @value{GDBN}
>  * GNU Free Documentation License::  The license for this documentation
>  * Concept Index::               Index of @value{GDBN} concepts
>  * Command and Variable Index::  Index of @value{GDBN} commands, variables,
> --
> 2.39.0
>
I like how this makes the documentation look neat.