No, we haven't deleted any comments. That number's where it should be by now. I remember when it passed 25,000 or so a few years back; if it somehow went from there to 200,000 or higher we'd need to be doing 10x the number of comments per day we're actually doing.