Monthly chores: Replace redirect targets#6115

github-actions[bot] wants to merge 1 commit intomainBillWagner/docs:mainfrom

cleanrepo-replace-redirectsBillWagner/docs:cleanrepo-replace-redirectsCopy head branch name to clipboard