Whatever happened to the bot reporting thread? I know we didn't have bot problems for a while, but unless it was getting abused, shouldn't it have stuck around?