[roywiggins]

I ended up rube-goldberging get_iplayer outputs into a proper podcast feed and thence into Pocket Casts with the rest of my podcasts. It sort of mostly works.