Fix Dumpling capitalization: product name should be capitalized#23042

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

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

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