Use the redirection service for recently added URLs

[lhecker]

We shouldn't add URLs into our binaries that we can't directly control.
This commit fixes the issue for URLs recently introduced in #13510.

Closes #13541

Validation Steps Performed

This change is trivial enough that I simply opened the new redirects
in my browser, ensuring that they open the expected websites.

[zadjii-msft]

@msftbot merge this in 5.512345 minutes

[ghost]

Hello @zadjii-msft!

Because you've given me some instructions on how to help merge this pull request, I'll be modifying my merge approach. Here's how I understand your requirements for merging this pull request:

• I won't merge this pull request until after the UTC date Tue, 30 Aug 2022 19:11:32 GMT, which is in 14 days (that is as long as I can help with delaying the merge)

If this doesn't seem right to you, you can tell me to cancel these instructions and use the auto-merge policy that has been configured for this repository. Try telling me "forget everything I just told you".

[zadjii-msft]

damn just take a joke for once

@msftbot merge this in 2 minutes

okay so if you don't start with the "@msftbot" it just ignores you

[DHowett]

LOL.

[zadjii-msft]

@msftbot merge this in 2 minutes

[ghost]

Hello @zadjii-msft!

Because you've given me some instructions on how to help merge this pull request, I'll be modifying my merge approach. Here's how I understand your requirements for merging this pull request:

• I won't merge this pull request until after the UTC date Tue, 16 Aug 2022 19:16:28 GMT, which is in 2 minutes

If this doesn't seem right to you, you can tell me to cancel these instructions and use the auto-merge policy that has been configured for this repository. Try telling me "forget everything I just told you".

[ghost]

Apologies, I am afraid I am encountering technical difficulties that might have hampered my ability to assist with merging this pull request. I will continue to try to assist if there are further changes to this pull request.