Correct me if I’m wrong but I think Charlie has mentioned somewhere that muscles after training take 4 hours to restore to their normal length. By stretching them straight after you can get them back to normal length straight away thus improving recovery by 4 hours.