Search function for all listened episodes

App version: 2.7.1
Problem you may be having, or feature you want:
Every now and then it happens to me that I think about in which podcast I heard something about a topic. But I can’t remember which podcast channel it was on.

Suggested solution:
Therefore it would be good to have a search function for all listened episodes, which also searches the show notes.