[RFA 1/2] minor Python doc updates

[Tom Tromey]

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

>> +You can get quick online help for @value{GDBN}'s Python API by issuing
>> +the command @w{@kbd{python help (gdb)}}.

Eli> This dumps about 20 screen-fulls (each screen 57 lines) on my system.
Eli> Shouldn't this be paginated?  This part:

>> +At startup, @value{GDBN} overrides Python's @code{sys.stdout} and
>> +@code{sys.stderr} to print using @value{GDBN}'s output-paging streams.

Eli> seems to imply it should, but it doesn't here (MS-Windows), at least
Eli> not with GDB 7.6 and Python 2.6.6.

It definitely works for me using Python 2.7.
I don't know what the problem could be.

Tom