Oh, almost forgot, running update:

Ran last night, in the gym. 3.5 miles on the treadmill. I pushed for as long as I could, and after the first 3 miles I made a note of the time: 28:41, or about a 9:34 pace. I had to slow down for a bit after that, but still finished the full 3.5 miles in 33:50, or about a 9:40 pace overall.

Also had a weird experience of seeing someone I thought I knew, someone who I would have thought had an, um, unique body shape (incredibly, incredibly thin), but it turned out that it wasn’t my friend, it was a girl who looked enough like her to be her equally-emaciated sister. Strange.