I agree. Skipping a post-run stretch is a big mistake. (Just take the stretching easy after longer runs, like a marathon. Then your muscles are weak and intensive stretching can damage them.)

I avoid most pre-run stretches, but find that both static and dynamic stretches of my ankles pre-run are helpful. There are specific studies that also support this.

Depends on your reason for doing so. For instance if it's to avoid muscle soreness that has been disproved. There are two major reasons for stretching.

One: It increases the amount you can stretch so if you need to be able to stretch far for some reason it will help with that.

Two: It feels great. I stretch a lot for this reason.

As far as I know there are no other proved benefits to stretching.

Additionally, this article only considers /static stretching/, which is far less helpful to me as a runner than /active stretching/: leg swings, kicks, or arm circles.

Have a cite? This article indeed concentrates on pre-exercise stretching, but I've heard similar things about post-exercise.

Definitely need studies now to prove post stretching provides benefit, otherwise it seems like just another Holiday Inn statement

You could have talked to Olympians XX years ago about their pre-whatever-sport and heard them say stretching beforehand is a must-have

Yep.

What's the Holiday Inn statement?

+1 for post-workout stretching.