Redirected pages show up without rendering in search

[Starlight220]

Screenshot from this search query for "test mode":

These two results are the same page: the first result is the real page, and the second is the redirect (both lead to the real page when clicked).
There definitely shouldn't be non-rendered results. Having two identical results would be confusing, so I'd expect redirects to not show up at all in search results.

[sciencewhiz]

This happens on latest but not on stable. Probably something that happened with the Sphinx 7 update

[TheTripleV]

In case it's hard to fix at build time:

// Select the first element with the class 'search'
let searchElement = document.querySelector('.search');

// Get all the child elements, which are assumed to be 'li' elements
let children = Array.from(searchElement.children);

// Loop through the children and remove the ones containing '.html'
children.forEach(child => {
  if (child.textContent.includes('.html')) {
    child.remove();
  }
});

[sciencewhiz]

It also only appears to happen on RTD, It doesn't appear to happen on a local build (local build doesn't render any results, but also doesn't have entries for the redirected pages)

[sciencewhiz]

readthedocs can ignore files in search: https://docs.readthedocs.io/en/stable/config-file/v2.html#search-ignore #2467 is a proof of concept to show that it works.

Rediraffe could generate that list