I’ve been busy out the back, working on some of the internal mechanisms of the tune search.
Anyway, the good news is that not only is the search faster now, but also it ignores accented characters. Thus a search for, say, “bourree” will also find tunes with “bourrée” in the title (and vice-versa).
Which is handy because not everyone is strict about how they add accents.
Oh, and while I was at it, I extended the scope of the search to add another 10,000 tunes which I discovered tucked away in a corner. The tune search now knows about 47,500 tunes!