chore: fix spelling errors

[int-y1]

This PR fixed typos:

pip install codespell --upgrade
codespell --summary --ignore-words-list enew,forin,fro,happend,hge,ihs,iterm,spred --skip stage0 --check-filenames
codespell --summary --ignore-words-list enew,forin,fro,happend,hge,ihs,iterm,spred --skip stage0 --check-filenames --regex '[A-Z][a-z]*'
codespell --summary --ignore-words-list enew,forin,fro,happend,hge,ihs,iterm,spred --skip stage0 --check-filenames --regex "\b[a-z']*"

[mathlib-lean-pr-testing]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 5fdeaf0d5a8d81aa3c931e9071e4d7f17293feab --onto fc0cf68539ad3b481a1802414c22c44506519c9d. You can force Mathlib CI using the force-mathlib-ci label. (2026-04-04 03:52:20)

[leanprover-bot]

Reference manual CI status:

• ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase 5fdeaf0d5a8d81aa3c931e9071e4d7f17293feab --onto 861bc19e0c1c45b5766cc5c9ef0488568368b236. You can force reference manual CI using the force-manual-ci label. (2026-04-04 03:52:21)

[nomeata]

Can you exclude and PR separately changes to public function names? These should probably be reviewed by their owners just in case they believe a deprecation is needed (probably not, but not my call)

[int-y1]

I excluded these 3:

• theorem isInvalidContinutationByte_eq_false_iff
• structure ParamMap annoatedBorrows
• public def Module.checkArtifactsExsist