.

It states in the additional link to stretching info that stretching when muscles are damaged hinders or sabotages the repairing process. I haven’t repeated it word-for-word but that’s basically what is said.