I realise that some of the contributors to the documentation here may not be native English speakers, and if so, I would encourage them to clean up the English.
Because I'd have to fork, wait for the Github client to process the fork, find the source file that produced the error, fix it, commit, push, then go back to Github to create a PR. PRs are overkill for typos on a project I don't develop on.
You can do all of this from the web interface. There's a pencil icon on the top right of the document. It will let you edit the file then create a fork and PR
While you make a good point that pull requests can be made because it is open-source, I've always found the "pull requests welcome" response to a (presumably good faith) piece of constructive criticism as a little dismissive.
https://github.com/SpaceVim/SpaceVim/blob/master/docs/_posts...