Thanks for your attention to this issue.

Here's hoping that the fix happens sooner, rather than later. I never realized how valuable the search feature was until it went on hiatus.