[gadaprog]

To be fair, that mentions stretching pre-exercise.

Static stretching (pre-exercise) before exercise has been known to be either negligibly beneficial or detrimental in many cases for years.

Active stretching (pre-exercise) like doing some unweighted squats, leg circles, etc. (or what most humans would call "warming up") has been shown to be beneficial in injury prevention.

Post-exercising stretching is linked to benefits such as injury prevention, increased range of motion, etc.