11
That would be an excellent way of doing it.
Since this was a robot spammer, he put up 285 comments in 4 days.
If I had been paying more attention, I could have caught him sooner and had less work to do.
But a simple way to delete all his posts is clearly needed. (without having to resort to going to the database...)