Since the docs are all written in Markdown, could this project adopt a linting tool? This inconsistency could be eliminated easily: <img width="686" alt="image" src="https://github.com/pingcap/tidb-dev-guide/assets/8007022/8213e9ce-1549-45d3-9b75-1cf6dee21f20"> --- There are two popular markdown linting tools (CLI) on GitHub for the moment, either is useful: - [markdownlint/markdownlint](https://github.com/markdownlint/markdownlint) (Ruby) - [DavidAnson/markdownlint](https://github.com/DavidAnson/markdownlint) (JavaScript)