Merge pull request #17486 from yzxcj797/fix/dead-dev-doc-link