Choosing Hark over Grok bot for getting things done · Digg