I may or may not restart the tickling bots in October. But if you would rather I stick to doing other stuff until November say so in the comments. I'll check back in a day or two and see which you all prefer.