I'm unable to find a way to ban and also delete all posts at once for a spammy user.
For most users I just click "Spam" link. For for old users this link is not available due to configuration. Now how to delete all the posts of user without it?
I believe you can do this by temporarily changing the spam settings to include one of those older posts , then use the spam cleaner on it to delete all posts
