fix: update with upstream mkdocs.yml for lang+tool

[CamberLoid]

Please Reviewers take care of the following aspects:

1. Are there any typos?
2. Please read the content of the Pull Request as if you were a beginner and talk about your thoughts after reading the text no matter whether you are familiar with the content or not.
3. Please evaluate the content of the Pull Request if you are familiar with related concepts.
4. Please try your best to keep an eye on it until it is merged or closed.

[ksyx]

11:09:31 AM: WARNING  -  A relative path to 'tools/git.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'lang/csl/pair.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'lang/value-category.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'lang/op-overload.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'misc/complexity.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/steiner-tree.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/dmst.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/mod-shortest-path.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/block-forest.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/stoer-wagner.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/graph-match.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/augment.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/bigraph-match.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/bigraph-weight-match.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/general-match.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/general-weight-match.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  Documentation file 'basic/binary-lifting.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.
11:09:36 AM: WARNING  -  Documentation file 'ds/sparse-table.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.
11:09:38 AM: WARNING  -  Documentation file 'graph/concept.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.
11:09:40 AM: WARNING  -  Documentation file 'intro/format.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.
11:09:40 AM: WARNING  -  Documentation file 'intro/non-trad.md' contains a link to 'basic/interaction.md' which is not found in the documentation files.
11:09:41 AM: WARNING  -  Documentation file 'lang/helloworld.md' contains a link to 'lang/editor/devcpp.md' which is not found in the documentation files.
11:09:44 AM: WARNING  -  Documentation file 'math/notation.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.
11:09:46 AM: WARNING  -  Documentation file 'misc/cc-basic.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.

[CamberLoid]

11:09:31 AM: WARNING  -  A relative path to 'tools/git.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'lang/csl/pair.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'lang/value-category.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'lang/op-overload.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'misc/complexity.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/steiner-tree.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/dmst.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/mod-shortest-path.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/block-forest.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/stoer-wagner.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/graph-match.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/augment.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/bigraph-match.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/bigraph-weight-match.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/general-match.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  A relative path to 'graph/graph-matching/general-weight-match.md' is included in the 'nav' configuration, which is not found in the documentation files
11:09:31 AM: WARNING  -  Documentation file 'basic/binary-lifting.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.
11:09:36 AM: WARNING  -  Documentation file 'ds/sparse-table.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.
11:09:38 AM: WARNING  -  Documentation file 'graph/concept.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.
11:09:40 AM: WARNING  -  Documentation file 'intro/format.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.
11:09:40 AM: WARNING  -  Documentation file 'intro/non-trad.md' contains a link to 'basic/interaction.md' which is not found in the documentation files.
11:09:41 AM: WARNING  -  Documentation file 'lang/helloworld.md' contains a link to 'lang/editor/devcpp.md' which is not found in the documentation files.
11:09:44 AM: WARNING  -  Documentation file 'math/notation.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.
11:09:46 AM: WARNING  -  Documentation file 'misc/cc-basic.md' contains a link to 'misc/complexity.md' which is not found in the documentation files.

Noted. Gugugu

[CamberLoid]

Request Review @ksyx

[ksyx]

https://app.netlify.com/sites/oiwiki-en/deploys/61162e90f51023000879910d
还是有些 warning 呢

[CamberLoid]

https://app.netlify.com/sites/oiwiki-en/deploys/61162e90f51023000879910d
还是有些 warning 呢

这些warning会在之后的commit/PR中修