* In the synopsis, the -tui option of gdb is not listed.
* The -tui description is a bit ambiguous:
-tui Run GDB using a text (console) user interface.
It should probably say:
-tui Run GDB using an advanced text (console) user interface.
(since the default is also a text user interface).
* The man page should say that gdbtui runs gdb with the -tui option
(well, I suppose this is the case).