Hello,

I intend committing the attached sometime in the next few days (ready 
for the GDB 5.2 branch).  It updates some very very out-of-date .texi files.

(thanks to Eli for spotting these).

enjoy,
Andrew