IRC bot that is being used on number of wikimedia channels