Description of problem: Need to document how to use insight in the user's guide. Since we (rightly) don't actually ship an insight executable, we instead intend people wanting insight to start gdb with -w. However we don't actually tell them anywhere that this is what they have to do for insight!
This bug has moved to http://bugs.ecos.sourceware.org/show_bug.cgi?id=87647