Add radio commands to BBC Radio Player

This Greasemonkey script← adds commands to the bottom of BBC Radio Player audio pages (example) for recording a stream to MP3 and playing a stream through an Airport Express. As a bonus, it turns off the autoplay.