docs: fix some typos - #1243

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: n1hility/cancel-previous-runs@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

100 of 100 (100.0%) transitions hit the maximum treedepth limit of 10.

398 of 400 (100.0%) transitions hit the maximum treedepth limit of 10.

2 of 400 (0.0%) transitions ended with a divergence.

100 of 100 (100.0%) transitions hit the maximum treedepth limit of 10.

489 of 500 (98.0%) transitions hit the maximum treedepth limit of 10.

11 of 500 (2.0%) transitions ended with a divergence.

100 of 100 (100.0%) transitions hit the maximum treedepth limit of 10.

100 of 100 (100.0%) transitions hit the maximum treedepth limit of 10.

400 of 2000 (20.0%) transitions ended with a divergence.