Overcast.fm, as well, and every podcast player I’ve used. I don’t know what he’s talking about on that point.