When I browse the repository to insert something (for example using <conref>) I can use the search functionality. With a lot of objects in the repository, some of these searches take a long time. That's ok.
However, when I re-visit the functionality for a second search, the previous search is already there, and once the page opens the previous search starts all over again. It needs to finish before I can type my new search key. When this previous search takes a long time it's not ok.
I would appreciate a way to "reset" the search before the previous search starts, for example with a new tab "New Search". I have of course tried the "Reset" button, but it seems that the previous search still needs to finish.
Or am I missing something?