@ayende @tobermatt @JohnONolan irrelevant. any meaningful bug gets reported multiple times. And if it doesn't, then not enough people are hitting that bug for it to matter anyway.