is The Verge’s executive editor. He has covered tech, policy, and online creators for over a decade. Google Docs is, at long last, getting a grammar-checking feature, which’ll be able to identify ...