It looks very plausible that stretching before you exercise doesn’t do much for you. Multiple older surveys suggested this.
Annoyingly, the studies linked in the previous paragraph are 2 decades old, and somehow I can’t find a large, well controlled, trial.
Many sports coaches have said to me that stretching cold muscles worsens your performance and that you should stretch AFTER the exercise to aid recovery