Notes
It's hard to be excited about a PR when you go out way too fucking fast. But, at least now I know that just "running by feel" is not a good strategy for me. It will be a LONG time before I run a 10k again. This PR may hold for the rest of my life.