Scripts for speeding up videos to the same length as a target MP3, and then setting the video to the music.