5k done. Not great, not even close to a PR. No official time yet, but somewhere in the 42-43 neighborhood. At least it’s over. Longer entry/recap when I have a real keyboard.