The following lines were added (+) and removed (-):
The audio file is not stretched, but processed so that the pitch is decreased to match the original pitch of the sound. However, speech and audio will still be delivered faster than the original. Imagine the actor being perceived as delivering a line faster than the original and yet not sounding higher pitched, just seeming to talk faster. Human perception is not likely to notice the subtle time shift as long as the actor does not seem higher pitch in sound.