:I agree strongly with this, to the extent that, if an editor were "driven away" by something Eric wrote, then I believe Eric would probably have done WP a favour. People write such crap, and Eric is ace at clearing it up. Much more useful than a vandalism bot, most of Eric's time on WP is taken up with making sure what's there is worth reading – until this sort of time-wasting rears its ugly head. Just let him get on with it.