I am now faced with the question: Now that I know how to get a GDB without the crash, do I return to what I was working on, or do I try to get a bugfix into GDB?
(Or at least track down the bug far enough that I have information to put in a bug report?)