User blog comment:The Gunny/Bot flag request/@comment-2207030-20141206015246

I am not too familiar with bots. As long as this " bot " will not interrupt normal wiki function and can be stopped by someone other than just OP should something go amiss, i see no reason to keep a helpful contributor from doing his/her thing.