Comment 22 for bug 1013003

Thanks a lot everyone for collaborating on this solution. While Debian and Ubuntu now benefit from the fix and the issue is closed, it would have been great if we all would have assumed best intentions throughout this bug report. On the internet, with language barriers and less ways to express emotions, it helps to stay focused, spend less time arguing, and leave everyone with a good experience.