I was interested in seeing how this would work for searching for features across libraries. This works (chose an arbitrary library and you get the "other libraries" results. However these are neither ordered nor grouped by library, presumably there is some other ranking at work, which makes sense. It would be a nice enhancement to list "hits per library" and allow selection of a library from the result set to view just that library's hits.
Thank you for your valuable feedback. Indeed, the search results are ranked based on proximity and whether they match the hierarchy. However, grouping the results poses a challenge due to the presence of a 'Show More' button that retrieves additional results. These new results can belong to previous libraries, making it difficult to track them if we simply assign them to their respective groups. I have created an issue in the repository, as I believe there might be a better alternative to the current design.