Fix dead link in docs

Author: leeyi45

docs/src/repotools/index.md

@@ -1,7 +1,7 @@
 # Repository Development Tools
 
 - [Development Server](./devserver/devserver)
-- [Docs Server](./docserver/overview)
+- [Docs Server](./docserver/1-overview)
 - [ESLint](./linting)
 - [Github Workflows](./workflows)
 - [VSCode](./vscode)