“At the time of the Coda acquisition, Grammarly had approximately $700 million in revenue and 40 million daily active users.”