Features i'd like to see in a podcast player: - Full text search with jump to relevant timestamps (maybe do local speech-to-text with whisper.cpp) - denoising / enhancement of bad audio (there are AI solutions to this, but i haven't seen it integrated in a player yet) - ad-skipping (lots of ways to do this one, but hard to do in general)