An IRC bot named Sindri