An IRC bot for creating channel archives