What a difference a good workout makes for one's mood. Wow. Maybe it helps that I also think I broke a mental logjam during the workout, that will allow me to make some real progress at work tomorrow. The stress has melted away, for one reason or the other.
A brisk walk/jog over the course of 15 minutes, with six 30-second sprints in there. I did not know I had it in me.