Oh yes, you are right. I missed it way up top the list of filters.

I'd love that podcast subscription capability, though listening to it in HTML5 means I can speed up the playback without having to download the audio file first (my podcast app, PocketCast, doesn't let me do this).

A while ago, I was thinking about doing a search engine on top of audio. The startup deepgram seemed to offer interesting tools, but didn't get a chance to play with it: https://www.deepgram.com/