Damnit. It must be that time of year. 3 days off work in the last 2 weeks, and no running since October 29th (2½ weeks ago). But today I went swimming with the family (splashing about, no proper lengths or anything), and I didn’t die, so that’s a plus.
So the plan is to get back into the running in the following week, probably stepping back to the 15 mins run / 2 mins walk level.