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.
exactly, stretching is to prepare muscles that you are going to be stretching abnormally during whatever exercise you are doing
if you look at rugby players these days they sit on a exercise bike to keep the muscles warmed up. gymnasts will be doing very different warm up