How Hugging Face Makes Whisper 40% Faster with This Trick: