Just wanted to praise this report. 1) Test the right version of the source code: source tree, not amalgamation, current version. 2) Find a genuine crash. 3) Find how to reproduce the crash with 100% reliability. 4) (optional) find suspicious lines of source code 5) (optional) bisect previous versions to find which version introduced bug 6) Send a polite and informative message to the correct forum including the above. I've been receiving and submitting bug reports for the last 40 years and wish they were all this good. Apologies for interrupting your scheduled technical discussions.