chore: correcting few mistakes in documentation

[IssouChancla]

Hey, found few errors in the documentation while reading it, should be good now.
Doesn't require testing or changelog entry.

[CPerezz]

Another of these bots trying to collect airdrops for fake GH collaborations LOL.
It's out of hand.

@ed255 @davidnevadoc I remember we discussed that. What shall we do?

[ed255]

Another of these bots trying to collect airdrops for fake GH collaborations LOL. It's out of hand.

@ed255 @davidnevadoc I remember we discussed that. What shall we do?

I think they may not be bots (although it's hard to figure out). If we believe they are not bots, and the typo fixes are correct, I think it's OK to merge the PR.

[CPerezz]

I think they may not be bots (although it's hard to figure out). If we believe they are not bots, and the typo fixes are correct, I think it's OK to merge the PR.

Why having a private commit history then? Looks sus @ed255

[ed255]

I think they may not be bots (although it's hard to figure out). If we believe they are not bots, and the typo fixes are correct, I think it's OK to merge the PR.

Why having a private commit history then? Looks sus @ed255

I assume this user is recent, and has a bunch of open PRs of the same kind, and that may be why they keep their profile private.
Like these:

• chore(ui): typo fix tahowallet/extension#3709
• Fix website grammatical errors risc0/risc0#1242
• chore(kevm-pyk/src): typo fix runtimeverification/evm-semantics#2225

[CPerezz]

Alright @ed255 !

LGTM

[IssouChancla]

I think they may not be bots (although it's hard to figure out). If we believe they are not bots, and the typo fixes are correct, I think it's OK to merge the PR.

Why having a private commit history then? Looks sus @ed255

I assume this user is recent, and has a bunch of open PRs of the same kind, and that may be why they keep their profile private. Like these:

* [chore(ui): typo fix tahowallet/extension#3709](https://github.com/tahowallet/extension/pull/3709)

* [Fix website grammatical errors risc0/risc0#1242](https://github.com/risc0/risc0/pull/1242)

* [chore(kevm-pyk/src): typo fix runtimeverification/evm-semantics#2225](https://github.com/runtimeverification/evm-semantics/pull/2225)

Hey, yes I do, I'm also pretty easily doxxable so I tend to make all my socials private.
I'm not a bot and all my fix are "handmade" and handchecked, so there is 70% or more false positive.
I can work on codespell workflow implementation if wished.

I know typos aren't major changes but I hope I can help in any way even if it's not much.

Have a nice evening.