Shipped a small utility: https://podcastfilter.com. It allows you to filter a podcast feed by matching terms in the episode descriptions and returns a new feed URL containing just those matched episodes.
source is here: https://git.sr.ht/~asimpson/podcast-filter
No idea how useful this will turn out to be but it was fun to put together. I ❤ RSS.