GDB 11 branching update (2021-06-13)

[Joel Brobecker]

> The below patch completes/fixes the user manual and gdb --help.
> 
> Eli has has reviewed the user manual changes, I have fixed the 2
> comments he gave.  The --help changes are quite trivial (only fixes in
> the help text and a small change so that -w --windows starts the TUI
> if configured).
> 
> https://sourceware.org/pipermail/gdb-patches/2021-June/179834.html
> 
> It is for sure not critical, but might be suitable for GDB 11

Thanks for the pointer, Philippe. I've added this patch to the list
of patches to keep track of. Worse case scenario, I think a patch
like that would be eligible for backporting on a release branch.

-- 
Joel