A collection of IRC bots to assist with administrative tasks on Wikipedia