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.

 

Now, wow :)

 

Congratulations, bearophile!

 

Now, the real question is, what will be bug #10_000? We should let him have it ;-p