Even if the title of a PR has been redacted, we should still link to the PR.
<rdar://problem/92416554>
Pull request: https://github.com/WebKit/WebKit/pull/417
Committed r293614 (250120@main): <https://commits.webkit.org/250120@main> Reviewed commits have been landed. Closing PR #417 and removing active labels.