"Greplin becomes Cue" so does that mean Greplin is shutting down? I thought it was really popular. This look like a totally different app. What about existing users/customers?