searching for issues on this repo does not return all of the results it should return. e.g. there are two issues with "interdiff" in the title (#181 and #166, both currently on page 6), but when you actually search for "interdiff" you get 0 results. This makes it kinda hard to check whether an issue has already been reported before. I imagine there might be something wrong with the search index for this repo.
this has been the case for a while now btw. i've reported this twice on discord but i imagine it was simply forgotten about so i figured i'd create an issue for it this time.
thanks will take a look, might just need to regenerate our indices.