This isn't my fight, but I often find that good advice goes unheeded until it too late. And, how do you know this anon didn't also contribute to fixing the problem? 

 They have only taken credit for the spam 

 Would they be anonymous if they took credit for a PR?