@robpike Luckily, BBC podcasts (the majority of my podcast listening) still have RSS feeds serving up MP3s, so not that different from songs...