first paragraph. It looks like it's left over from previous
nomenclature; term "cutting" introduced there is not used in rest of
document. ("killing" is used instead, as in the section title and in
the following paragraph.)
2) More consistent use of @key for things to type in; in a few cases
not having it actually produced wrong doc on paper---notably "M--"
comes out as "M" followed by emdash, if in the plain Roman body
text...
This will eventually be supported with a trivial macro, but those aren't
standard texinfo yet; in the meantime, I think GDB is the only manual we
print that uses these---and it wants appendices.
