doc: fix core manual wording

[alok]

Draft typo/grammar cleanup.

[david-christiansen]

Thank you!

In general, big PRs that fix lots of little things are more difficult to review, and GH doesn't provide a very good interface for merging 90% of things. Small ones that fix one category of issue are quicker to process (like, batching up the double-word eliminations or straightforward spelling fixes).

[alok]

Thank you!

In general, big PRs that fix lots of little things are more difficult to review, and GH doesn't provide a very good interface for merging 90% of things. Small ones that fix one category of issue are quicker to process (like, batching up the double-word eliminations or straightforward spelling fixes).

Ill try cutting the PRs finer then if you dont mind lotsa small PRs.

[david-christiansen]

Lots of small PRs is great - makes it easy to review and merge them in little spaces during the day. Thanks!

[github-actions]

Preview for this PR is ready! 🎉 (also as a proofreading version). built with commit 819d205.