WWDCAudio. Little tool to extract the audio of the WWDC videos. Useful if you wan to hear the sessions while you run, on the car...