[Merged by Bors] - chore: fix grammar mistakes

[int-y1]

---

[alexjbest]

Did you use a script or something to find these? It might be helpful to record how you found all these for future reference.

[alexjbest]

maintainer merge

[github-actions]

🚀 Pull request has been placed on the maintainer queue by alexjbest.

[RemyDegenne]

bors r+

[bors]

Pull request successfully merged into master.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• Build
• Check all files imported
• Lint style

[int-y1]

My script went like this:

• Get all the comments in every file.
• Find the top 50 words. e.g. "a" and "be" are in the top 50.
• List the most uncommon word pairs. e.g. in "This seems to a be a problem", the word pair "a be" is uncommon.

Afterwards, I went over the list and fixed most of the grammar mistakes.