On Wednesday, 22 May 2013 at 21:06:21 UTC, Dicebot wrote: > On Wednesday, 22 May 2013 at 20:51:34 UTC, Walter Bright wrote: >> ... > > Really glad to see this :) +1! Trolls are one of the only two kinds of problems known to humanity that actually get solved by themselves if you ignore them. The other kind of problems, in case you wondered, is clients ;-P