Thread reserved for bug reports.