<div>I remember a time, years ago (2008?), when he would pester everyone here and had a reputation for finding bugs and *never reporting them*. People used to tssk-tssk him on this.</div>
<div> </div>
<div>Now, wow :)</div>
<div> </div>
<div>Congratulations, bearophile!</div>
<div> </div>
<div>Now, the real question is, what will be bug #10_000? We should let him have it ;-p</div>
<div> </div>
<div> </div>