Various IRC bots written with irctk