Notes
A bit better but still considerable discomfort in the latter miles, mostly high up this time - not hamstring but maybe piriformis. Later: yes, definitely piriformis. It gradually hurt more and more in the hours after I ran, until I had to figure out what it was and try to release it.