Oh, the timestamps on these posts. Well, I had a busy day and went to bed at 9. Woke refreshed at the stroke of midnight.
Great. Just great. I have things to do much later in the day.
UPDATE: That's better! I was able go back to sleep at about 4:30 and woke at 7.