For a cleaner commit history it would be better to include such atomic changes either into other PRs or collect them in a larger PR. I think there are a lot of spelling mistakes to be found, but a general rewrite of the docs would be preferable (there's a bit of outdated stuff there and also more examples could be added) than fixing those minor mistakes.
For a cleaner commit history it would be better to include such atomic changes either into other PRs or collect them in a larger PR. I think there are a lot of spelling mistakes to be found, but a general rewrite of the docs would be preferable (there's a bit of outdated stuff there and also more examples could be added) than fixing those minor mistakes.