Fix tool name capitalization for product names to prevent mistranslation#23043

ti-chi-bot[bot] merged 4 commits into

pingcap:release-8.5pingcap/docs:release-8.5from

yahonda:topic/fix-tool-names-capitalization-release-8.5yahonda/docs:topic/fix-tool-names-capitalization-release-8.5Copy head branch name to clipboard