4 minutes well spent. This is so important to do and all to easy to run home then get absorbed by everything else.
Reduce your injury risk and increase your performance long term, but focussing on stretching out the main key running muscle groups.