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.
Yeah, it’s all about various systems being balanced. Some people who have muscle pain try to ease it through stretching that muscle, but that can actually make things worse if the underlying problem is that the muscles that act in opposition to the painful muscle are too weak.