Closed tz0 closed 1 year ago
GitHub automatically closed this PR when I had to reset the branch to the upstream HEAD. There are approximately 30 upstream commits spread between all the original doc fix commits, making it difficult to rebase or fast-forward for creating one commit without a visible huge branch merge. (Suggestions are welcome :p)
So I reset to the branch and cherry-picked the previous commits, and merged them into one. Reopened for review and merge.
Thanks!
This PR contains a few quick fixes for obvious typos and missing links in the documentation.