Hello,

 I've set: download-filename-format "%t.%u"
which works fine for all podcasts except for HPR, where the filename extension is php instead of mp3. Is there a method to have a special downliad-filename-format for HPR podcast ?
