In my previous post, I expressed the hope that I might get to sleep quickly. Well, indeed I did: I figure I must have dropped off at about 10:45pm.
OK, so I woke up again at around 11:15. Sleeping through the night would have been too much to ask, I guess. But hey, it was nice while it lasted!