Ed wrote:
So let's discuss strategy. Here are our options:
- Ignore him, and just clean up as needed
- Agitate for a ban
I think in this case option #1 will work better, because after a while, his anti-social behavior will taper off (see "Do not feed the trolls"). Option #2 is less likely to work, since he's liable to change usernames.
It's worth a try, Ed. We can look at banning again if this doesn't work. I'm in.