I intended to put this in the General section, but put it here by mistake.  Just as well, because if the elves are still building, they'll probably be checking in here and can pass the word along.  Merry Christmas, everybody.