This is the HTML version for the last report for bug #8378.