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
