Well, time to go to sleep, and then I'll wake up to find people in different time zones already having posted in here.

Such is life.