Yea. I’ll probably need 5 minutes to create a PR and then the we can spend days to discuss it, if that’s what we want.
There have been several discussions here in the group about different possibilities to improve the search results. Nothing happened, so I think a PR is as good as a new ticket – I may create both
Also see: