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.
I’ve been working out for 25 years already believing this. I’ve never pulled a muscle doing bjj and downhill mtb.
Nice to see science backing my anecdotes.