and merge in other parts of the document addressing these subjects. gdbint.texinfo (XCOFF): Remove info which is now in stabs.texinfo.