How to create a useful MySQL bug report ...and make sure it's properly processed