Grammarly said Tuesday that it agreed to buy Coda, which develops productivity software that competes with tools from Notion, Google and Microsoft, and appointed Coda’s founder, ex-Googler Shishir Mehrotra, as Grammarly’s new CEO. Rahul Roy-Chowdhury, the previous CEO, is stepping down and will leave the company.

Grammarly’s core business of correcting grammar and spelling mistakes has been