Brave Search's Top Results For Docs Site Are Out-of-Date

My company’s documentation site changed from docs.xojo.com to documentation.xojo.com. Unfortunately, Brave still links to the old subdomain, leading to 404 errors.

Example:

In contrast, here is Google and Bing:
https://www.google.com/search?q=xojo+for...next

Is there anything we need to do to resolve this?