[Feature request]: Add quick search filtering in To-do Explorer

Hi,

I think the to-do explorer is great, so is the pre-defined filter possibilities.
But I lack a quicksearch box e.g. if I write "Foo" (without quotes) I would like all entries containing "Foo" to be displayed.

Thanks.