* gdbint.texinfo (User Interface): Update ui-out documentation to