Hello,

Just stumbled across this.

GDB eliminated most of the setjmp() / longjmp()'s long ago.  I think I 
should formalize this as part of the internals doco and add it to the ARI.

thoughts?
Andrew