Maybe the rest of us aren't so bloodthirsty?
-- O
[ p.s. I suspect you were the first person. If not, the person never
reported the bug in public. I think we should all reports the bugs
we've seen; if you're worried about privacy, do it anonymously. ]