Monthly chores: Remove redirect hops#6413

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

cleanrepo-remove-hopsBillWagner/docs:cleanrepo-remove-hopsCopy head branch name to clipboard