Huh usually when I wake up this post has grown 3 times in size. I guess the maintenance went on for quite a while after I fell asleep.