Now you have come before me! I actually wanted to wait with the announcement here until the release of the next update (is currently for review at Apple and Google).
There I implemented an asynchronous search, so that the app no longer โlagsโ when entering a long search text. Together with the bug fix you mentioned, the new search should be a big step forward then!
The update with the redesigned search functionality is now live in the iOS and Android beta (fast, asynchronous search, quick filter, โฆ). Iโm excited to see how you like the improvement and look forward to any feedback!