Grabbing the audio from these flash player podcasts?

Operating Systems & Open Source
1

I think I'm asking for the impossible, but I've started listening to a radio show which provide free podcasts. Unfortunately most of these are only playable in a flash based player...

Is there a way to grab the audio from these, and convert it into something like an mp3?

If this is even possible, it'd be great if it could be automated - though I'll probably be able to set that up myself.

Here is a link to the podcasts in case you need to see what it looks like:

Archive of podcasts
Direct link to a podcast in the flash player

2

check out a plugin called .flv downloader, havent used it myself for ages, but back in the good'ol'days it seemed to be able to detect streams, and enable downloading of such with a few button presses.
Google has forced them to not allow the usage on youtube though.