I can't concentrate, because I'm too anxious about something in my offline life which I found out yesterday, and can't do anything about until tomorrow (Monday). I must have got some sleep last night, but it didn't feel like it. Expect less coherence than usual.