Harvey's Q3 recap puts annual recurring revenue above $400 million · Digg