In fairness, there have been a number of such assaults lately, and they've generally been zapped quite quickly.
For this latest one, rather than wait, I decided to experiment with the 'ignore' feature. Handily, I found it removes all trace of the posts of the offending user.