Just for the record.

[rhi_silverflame]

I did not, as it happens, wake up from a fairly sound sleep at 3 AM last night.

That would be because I started dozing off at my desk around midnight, woke up at 3 AM, and then went to bed.